819 search results - page 1 / 164 » Using Assumptions to Distribute CTL Model Checking |
ENTCS
2002
13 years 8 months ago
2002
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
DAC
1998
ACM
14 years 9 months ago
1998
ACM
ISMVL
2003
IEEE
14 years 1 months ago
2003
IEEE
In earlier work [9], we defined CTL model-checking over finite-valued logics with De Morgan negation. In this paper, we extend this work to logics with intuitionistic, Galois an...
TIME
2009
IEEE
14 years 3 months ago
2009
IEEE
The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the...