A Survey of Classical, Real-Time, and Time-Bounded Verification

Name: A Survey of Classical, Real-Time, and Time-Bounded Verification
Start: 2010-01-26T16:30+01:00
End: 2010-01-26T17:30+01:00
Location: Lecture Theartre B

Joel Ouaknine ( Oxford University Computing Laboratory )

26Jan
16:30 26th January 2010 ( week 2, Hilary Term 2010 )
Lecture Theartre B

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.