A Survey of Classical, Real-Time, and Time-Bounded Verification
Joël Ouaknine ( Oxford University Computing Laboratory )
I will survey the classical, real-time, and time-bounded theories of verification, highlighting key differences and similarities among them, and giving an overview presentation of the solution to a longstanding open problem in the field.
This is joint work with Alex Rabinovich and James Worrell.
NOTE: This is exactly the same talk as the one scheduled for the Departmental Seminar on Tuesday 26 January (Week 2). Thus no point attending both!!