18 search results - page 1 / 4 » SAT-based unbounded symbolic model checking |
CAV
2003
Springer
14 years 19 days ago
2003
Springer
Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circ...
DAC
2003
ACM
14 years 8 months ago
2003
ACM
CAV
2003
Springer
14 years 19 days ago
2003
Springer
ATAL
2004
Springer
13 years 11 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
FMCAD
2006
Springer
13 years 11 months ago
2006
Springer
In this paper we present a complete method for verifying properties expressed in the temporal logic CTL. In contrast to the majority of verification methods presented in recent yea...