Search
 
loader loading subjects...
cover
Parameterized Verification of Crowds of Anonymous Processes
Javier Esparza
59 - 71
10.3233/978-1-61499-627-9-59
NATO Science for Peace and Security Series - D: Information and Communication Security
Volume 45: Dependable Software Systems Engineering
Abstract

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].

$35.00 / €27.50 / £22.00
Add PDF to cart