A Survey of Classical and Real-Time Verification

9^th October 2012, 16:00 Ashton Lecture Theatre
Prof Joel Ouaknine
Department of Computer Science
University of Oxford
UK

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.