Verifying Universal Properties of Parameterized Networks

@inproceedings{Baukus2000VerifyingUP,
  title={Verifying Universal Properties of Parameterized Networks},
  author={Kai Baukus and Yassine Lakhnech and Karsten Stahl},
  booktitle={FTRTFT},
  year={2000}
}
Kai Baukus1 Yassine Lakhne h2y Karsten Stahl1 1 Institute of Computer S ien e and Applied Mathemati s University of Kiel Preusserstr. 1{9, D-24105 Kiel, Germany fkba, kstg informatik.uni-kiel.de 2 VERIMAG, Centre Equation 2 Av. de Vignate, 38610 Gi eres, Fran e lakhne h imag.fr Abstra t In this paper, we present a method for the veri ation of soalled universal properties of fair parameterized networks of similar pro esses, that is, properties of the form 8p1 : : : pn : , where is a quanti er… CONTINUE READING
Highly Cited
This paper has 18 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 18 references

Network grammars , ommuni ation behaviours andautomati veri ation

O. Grumberg.
2000

Liveness and a eleration in parameterized veri ation

A. P. Sistla
1997

Property preserving abstra tions for the veri ation of on urrent systems

A. Bouajjani
Formal Methods inSystem Design • 1997

An experien e in proving regular networksof pro esses by modular model he king

F. Lagnier, C. Ratel
A ta Informati a • 1996

Automati veri ation of parameterized synhronous systems

A. P. Sistla
1996

Automati veri ation of parameterized linear networks of pro esses

P. Raymond.
1995

Verifying Parameterized Networks usingAbstra tion and Regular Languages

S. Smolka
1995

A stru tural indu tion theorem for pro esses

K. M Millan.
ACM Symp . on Prin iples of Distributed Computing • 1994

Abstra t interpretation of rea tive systems : Abstra tions preserving ACTL  , ECTL  and CTL 

R. Gerth, O. Grumberg.
1994

Similar Papers

Loading similar papers…