819 search results - page 3 / 164 » Using Assumptions to Distribute CTL Model Checking |
79
Voted
DLOG
2007
15 years 2 months ago
2007
95
Voted
FOSSACS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
109
click to vote
DLOG
2006
15 years 1 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
84
Voted
APN
2003
Springer
15 years 5 months ago
2003
Springer
The Model-Checking Kit [8] is a collection of programs which allow to model finite state systems using a variety of modelling languages, and verify them using a variety of checker...
99
Voted
CAV
2003
Springer
15 years 5 months 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...