Benutzer: Gast  Login
Titel:

Inferring Network Invariants Automatically

Dokumenttyp:
Technical Report
Autor(en):
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...     »
Jahr:
2006
Jahr / Monat:
2006-03-01 00:00:00
Seiten/Umfang:
17
 BibTeX