1283 search results - page 189 / 257 » A Survey on Temporal Logics |
172
click to vote
MFCS
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
148
click to vote
CAV
2007
Springer
16 years 11 days ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
183
click to vote
FMICS
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
177
click to vote
LFCS
2007
Springer
16 years 10 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
141
click to vote
TACAS
2007
Springer
16 years 9 days ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...