A Survey of Classical, Real-Time, and Time-Bounded Verification
Joel Ouaknine (Oxford University Computing Laboratory)
Info
|
Date |
26th January 2010 (week 2, Hilary Term 2010) |
|
Time |
16:30 |
|
Place |
Lecture Theartre B |
Abstract
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.
Further info
|
Related series |
|
