3224 search results - page 44 / 645 » On Checking Model Checkers |
107
click to vote
ACSD
2010
IEEE
14 years 12 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. ...
116
Voted
TACAS
2000
Springer
15 years 5 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
110
Voted
SPIN
2009
Springer
15 years 8 months ago
2009
Springer
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...
134
click to vote
COMPSEC
2010
15 years 1 months ago
2010
Model checking security protocols is based on an intruder model that represents the eavesdropping or interception of the exchanged messages, while at the same time performs attack...
90
Voted
FM
2001
Springer
15 years 6 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...