Model Checking Publications
This page presents papers on model checking written by project members. Some
of these papers are available in postscript format. The others can be obtained
by contacting Ed Clarke.
Copies of most papers will be available through this page soon. In the mean
time, please contact Ed Clarke for copies.
Surveys
Explicit state model checking
Symbolic model checking
Real-time extensions
Model Checking for Security
Model Checking for Hybrid Systems
Related papers
Selected publications online
CMU-SCS Model Checking home page |