7 search results - page 2 / 2 » Automatically Proving UNITY Safety Properties with Arrays an... |
87
Voted
CAV
2004
Springer
15 years 2 months ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...
78
Voted
FORTE
2008
14 years 11 months ago
2008
Abstract. Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organi...