3224 search results - page 147 / 645 » On Checking Model Checkers |
145
Voted
CSFW
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
109
Voted
FMCAD
2006
Springer
15 years 6 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...
100
Voted
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
88
Voted
FM
2008
Springer
15 years 4 months ago
2008
Springer
Modal
152
Voted
TABLEAUX
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...