Parameterized Verification of Crowds of Anonymous Processes
Javier Esparza · NATO science for peace and security series. D, Information and communication security · 2016
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 that no component reaches an unsafe state. A former version of this paper was published in the Proceedings of STACS 2014 [8].