4447 search results - page 76 / 890 » Model Checking Games |
130
Voted
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
120
Voted
ACSD
2010
IEEE
15 years 1 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. ...
125
click to vote
FSTTCS
2001
Springer
15 years 8 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...
118
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...
110
Voted
ENTCS
2008
15 years 3 months ago
2008
The Brane Calculus is a calculus intended to model the structure and the dynamics of biological membranes. In order to express properties of systems in this calculus, in previous ...