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 |
| TIME: | 16:00 |
| VENUE: | El 3a Hoersaal (Room Number: CF0213) in Gußhausstrasse 25-29 (elektrotechnichal institute building), 2 floor. |
ABSTRACT
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.
