A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
A Unifying Model Checking Approach for Safety Properties of Parameterized Systems
[chapter]
2001
Lecture Notes in Computer Science
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
doi:10.1007/3-540-44585-4_29
fatcat:sikhwo4brjcnzf4qll3apbt2qy