Joel Ouaknine

A Survey of Classical and Real-Time Verification

VCLA will be hosting a RiSE seminar talk by Joel Ouaknine on June 14th, 2013.

DATE:Friday, June 14, 2013
VENUE:El 3a Hoersaal (Room Number: CF0213) in Gußhausstrasse 25-29 (elektrotechnichal institute building), 2 floor.


I will survey the classical and real-time theories of verification, highlighting key differences and similarities between them, with a focus on algorithmic and complexity-theoretic aspects. The central protagonists of this talk are automata, temporal logics, and predicate logics.

This is joint work with James Worrell.

Comments are closed.