A Unifying Model Checking Approach for Safety Properties of Parameterized Systems

@inproceedings{Maidl2001AUM,
  title={A Unifying Model Checking Approach for Safety Properties of Parameterized Systems},
  author={Monika Maidl},
  booktitle={CAV},
  year={2001}
}
We present a model checking algorithm for safety properties that is applicable to parameterized systems and hence provides a unifying approach of model checking for parameterized systems. By analysing the conditions under which the proposed algorithm terminates, we obtain a characterisation of a subclass for which this problem is decidable. The known decidable subclasses, token rings and broadcast systems, fall in our subclass, while the main novel feature is that global guards (in form of… CONTINUE READING
Highly Cited
This paper has 29 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Similar Papers

Loading similar papers…