2407 search results - page 29 / 482 » A Tool for Abstraction in Model Checking |
169
Voted
FM
2005
Springer
16 years 2 days ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
152
Voted
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
120
Voted
CORR
2009
Springer
15 years 4 months ago
2009
Springer
197
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...