3224 search results - page 143 / 645 » On Checking Model Checkers |
101
Voted
STTT
2002
15 years 2 months ago
2002
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
131
Voted
ACSD
2008
IEEE
15 years 9 months ago
2008
IEEE
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
99
Voted
ATVA
2005
Springer
15 years 8 months ago
2005
Springer
This work extends the game-based framework of µ-calculus model checking to the multi-valued setting. In multi-valued model checking a formula is interpreted over a Kripke structur...
120
click to vote
FSTTCS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...
108
click to vote
IWSSD
2000
IEEE
15 years 7 months ago
2000
IEEE
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...