2407 search results - page 29 / 482 » A Tool for Abstraction in Model Checking |
FM
2005
Springer
15 years 3 months 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...
SPIN
2009
Springer
15 years 4 months ago
2009
Springer
CAV
2003
Springer
15 years 2 months ago
2003
Springer
CORR
2009
Springer
14 years 7 months ago
2009
Springer
103
click to vote
SIGSOFT
2007
ACM
15 years 10 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...