Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Invited Talk)

摘要

We survey some results on the automatic verification of parameterized programs without identities. These are systems composed of arbitrarily many components, all of them running exactly the same finite-state program. We discuss the complexity of deciding