777 search results - page 2 / 156 » Model Checking with Formula-Dependent Abstract Models |
68
Voted
PLDI
2011
ACM
14 years 13 days ago
2011
ACM
85
Voted
SCAM
2009
IEEE
15 years 4 months ago
2009
IEEE
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
LICS
2005
IEEE
15 years 3 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...
116
click to vote
IJSEKE
2011
14 years 1 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...