3 search results - page 1 / 1 » Iterative Abstraction-Based CTL Model Checking |
DATE
2000
IEEE
13 years 9 months ago
2000
IEEE
KBSE
2005
IEEE
13 years 10 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
CAV
2003
Springer
13 years 10 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...