1895 search results - page 31 / 379 » Using ATL for Checking Models |
132
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
117
click to vote
CAV
2008
Springer
15 years 4 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
124
click to vote
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
We revisit the problem of memory checking considered by Blum et al. [3]. In this model, a checker monitors the behavior of a data structure residing in unreliable memory given an a...
131
click to vote
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
117
click to vote
LPNMR
2001
Springer
15 years 6 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...