2 search results - page 1 / 1 » Forcing Monotonicity in Parameterized Verification: From Mul... |
SOFSEM
2010
Springer
13 years 2 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
JSC
2010
12 years 11 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...