16 search results - page 4 / 4 » The CADE ATP System Competition |
122
click to vote
CADE
2006
Springer
16 years 3 months ago
2006
Springer
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...