80 search results - page 1 / 16 » Tearing based automatic abstraction for CTL model checking |
ICCAD
1996
IEEE
14 years 2 months ago
1996
IEEE
Based Automatic Abstraction for CTL Model Checking Woohyuk Lee Abelardo Pardo Jae-Young Jang Gary Hachtel Fabio Somenzi University of Colorado ECEN Campus Box 425 Boulder, CO, 8030...
DATE
2000
IEEE
14 years 3 months ago
2000
IEEE
ATVA
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
DAC
1996
ACM
14 years 2 months ago
1996
ACM
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
CASCON
2001
14 years 4 days ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...