DocumentCode
2214667
Title
Symbolic guided search for CTL model checking
Author
Bloem, Roderick ; Ravi, Kavita ; Somenz, F.
fYear
2000
fDate
2000
Firstpage
29
Lastpage
34
Keywords
Boolean functions; Circuit simulation; Computer bugs; Contracts; Data structures; Debugging; Explosions; Permission; Size control; State-space methods;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 2000. Proceedings 2000
Print_ISBN
1-58113-187-9
Type
conf
DOI
10.1109/DAC.2000.855271
Filename
855271
Link To Document