Christoph Sprenger's Ph.D. Thesis

Deductive Local Model Checking

On the Verification of CTL* Properties of Infinite State Reactive Systems

Computer Networking Laboratory, Swiss Federal Institute of Technology, Lausanne, Switzerland

• Abstract (gzipped Postscript)

 
• Table of Contents (gzipped Postscript)

 
• All-in-one (gzipped Postscript, 1.1MB)