Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next 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 17: | Line 17: | ||
Readings: | Readings: | ||
* [[http://www.cs.cmu.edu/~bryant/pubdir/ieeetc86.pdf|Graph-based algorithms for boolean function manipulation]] | * [[http://www.cs.cmu.edu/~bryant/pubdir/ieeetc86.pdf|Graph-based algorithms for boolean function manipulation]] | ||
+ | * [[http://citeseer.ist.psu.edu/burch90symbolic.html|Symbolic Model Checking: 10^20 States and Beyond]] | ||
* [[http://www.kenmcmil.com/thesis.html|Ken McMillan's thesis]] | * [[http://www.kenmcmil.com/thesis.html|Ken McMillan's thesis]] | ||
* [[http://nusmv.irst.itc.it/index.html|NuSMV]] | * [[http://nusmv.irst.itc.it/index.html|NuSMV]] |