402 search results - page 13 / 81 » Model Checking Quantified Computation Tree Logic |
176
Voted
CP
2009
Springer
16 years 9 days ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
FMOODS
2007
15 years 1 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
82
Voted
ERSHOV
2001
Springer
15 years 4 months ago
2001
Springer
100
click to vote
CONCUR
2003
Springer
15 years 4 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
ASE
2004
14 years 11 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...