475 search results - page 23 / 95 » Temporal Logic Model Checking (Abstract) |
132
click to vote
IEAAIE
2011
Springer
14 years 4 months ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
115
click to vote
ISSTA
2004
ACM
15 years 6 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
FMCAD
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we present a complete method for verifying properties expressed in the temporal logic CTL. In contrast to the majority of verification methods presented in recent yea...
114
click to vote
CORR
2008
Springer
15 years 27 days ago
2008
Springer
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the se...
120
click to vote
TOCL
2011
14 years 8 months ago
2011
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the s...