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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2214667
بازگشت