402 search results - page 13 / 81 » Model Checking Quantified Computation Tree Logic |
195
click to vote
CP
2009
Springer
16 years 1 months 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 2 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...
ERSHOV
2001
Springer
15 years 5 months ago
2001
Springer
114
click to vote
CONCUR
2003
Springer
15 years 6 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...
116
click to vote
ASE
2004
15 years 1 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...