1981 search results - page 4 / 397 » Model-Checking Hierarchical Structures |
CAV
2003
Springer
14 years 21 days 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...
DAGSTUHL
2006
13 years 8 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
ENTCS
2007
13 years 7 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
FASE
2004
Springer
14 years 26 days ago
2004
Springer
CAV
1998
Springer
13 years 11 months ago
1998
Springer
