115
click to vote
SOFSEM
2010
Springer
15 years 27 days 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...