A Survey of Classical and Real-Time Verification

Joel Ouaknine (joint work with Alex Rabinovich and James Worrell)

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.