7 search results - page 2 / 2 » Automatically Proving UNITY Safety Properties with Arrays an... |
CAV
2004
Springer
13 years 10 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...
FORTE
2008
13 years 8 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...