10870 search results - page 159 / 2174 » Model Checking Programs |
107
click to vote
ACSD
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...
102
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
ATVA
2005
Springer
15 years 7 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...
112
Voted
FSTTCS
2001
Springer
15 years 6 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...
101
Voted
IWSSD
2000
IEEE
15 years 6 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...