12981 search results - page 1 / 2597 » Model Checking (Abstract) |
SCAM
2009
IEEE
14 years 5 months ago
2009
IEEE
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
ENTCS
2002
13 years 10 months ago
2002
or Abstraction in Model Checking Mar
CAV
2001
Springer
14 years 3 months ago
2001
Springer
LICS
2005
IEEE
14 years 4 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...