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.