The Temporal Specification and Verification of Real-Time Systems

Thomas A. Henzinger

We extend the specification language of temporal logic, the corresponding verification framework, and the underlying computational model to deal with real-time properties of reactive systems.

Ph.D. Thesis, Technical Report STAN-CS-91-1380, Stanford University, August 1991, 272 pages.

Download PostScript / PDF document.