7 search results - page 2 / 2 » Automatically Proving UNITY Safety Properties with Arrays an... |
109
click to vote
CAV
2004
Springer
15 years 4 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...
92
Voted
FORTE
2008
15 years 1 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...