User: Guest  Login
Title:

Inferring Network Invariants Automatically

Document type:
Technical Report
Author(s):
Olga Grinchtein, Martin Leucker, Nir Piterman
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 a system that abstracts the composition of every number of copies of P running in parallel. \\If there is such a network invariant, by reasoning about it, uniform verification with respect to the family P[1]|| ... || P[n] can be carried out. \\In this paper, we propose a procedure that searches systematically for a network invariant satisfyin...     »
Year:
2006
Year / month:
2006-03-01 00:00:00
Pages:
17
 BibTeX