Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav07_lecture_14_skeleton [2007/05/02 18:20] vkuncak |
sav07_lecture_14_skeleton [2007/05/03 10:59] vkuncak |
||
|---|---|---|---|
| Line 22: | Line 22: | ||
| ==== Checking for finite diameter systems ==== | ==== Checking for finite diameter systems ==== | ||
| + | * [[http://citeseer.ist.psu.edu/burch90symbolic.html|Symbolic Model Checking: 10^20 States and Beyond]] | ||
| * [[http://www.springerlink.com/content/ahvlxugl1d7xrt28/|Interpolation and SAT-Based Model Checking]] | * [[http://www.springerlink.com/content/ahvlxugl1d7xrt28/|Interpolation and SAT-Based Model Checking]] | ||
| * [[http://www.cs.cmu.edu/~emc/papers/Conference%20Papers/Completeness%20and%20complexity.pdf|Completeness and complexity of bounded model checking]] | * [[http://www.cs.cmu.edu/~emc/papers/Conference%20Papers/Completeness%20and%20complexity.pdf|Completeness and complexity of bounded model checking]] | ||