819 search results - page 1 / 164 » Using Assumptions to Distribute CTL Model Checking |
ENTCS
2002
13 years 5 months ago
2002
LPAR
2005
Springer
13 years 11 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 6 months ago
1998
ACM
ISMVL
2003
IEEE
13 years 11 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 16 days 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...