12981 search results - page 1 / 2597 » Model Checking (Abstract) |
119
Voted
SCAM
2009
IEEE
15 years 9 months ago
2009
IEEE
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
115
Voted
HASE
2008
IEEE
15 years 3 months ago
2008
IEEE
118
Voted
ENTCS
2002
15 years 2 months ago
2002
or Abstraction in Model Checking Mar
98
Voted
CAV
2001
Springer
15 years 7 months ago
2001
Springer
114
Voted
LICS
2005
IEEE
15 years 8 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...