Verifying Universal Properties of Parameterized Networks

  title={Verifying Universal Properties of Parameterized Networks},
  author={Kai Baukus and Yassine Lakhnech and Karsten Stahl},
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 2 VERIMAG, Centre Equation 2 Av. de Vignate, 38610 Gi eres, Fran e lakhne h 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.


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

Network grammars , ommuni ation behaviours andautomati veri ation

O. Grumberg.

Liveness and a eleration in parameterized veri ation

A. P. Sistla

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

Automati veri ation of parameterized linear networks of pro esses

P. Raymond.

Verifying Parameterized Networks usingAbstra tion and Regular Languages

S. Smolka

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.

Similar Papers

Loading similar papers…