R. Bloem, S. Jacobs, A. Khalimov, I. Konnov, and S. Rubin, , p.505

J. Veith and . Widder, Decidability of Parameterized Verification, Synthesis Lectures 506 on Distributed Computing Theory, 2015.

G. Delzanno, A. Sangnier, R. Traverso, and G. Zavattaro, On the 509 complexity of parameterized reachability in reconfigurable broadcast networks, Proceedings of 510 the 32nd Conference on Foundations of Software Technology and Theoretical Computer Science 511 (FSTTCS'12), vol.18, pp.289-300

. Leibniz-zentrum-für-informatik, , 2012.

G. Delzanno, A. Sangnier, and G. Zavattaro, Parameterized verification of 514 ad hoc networks, Proceedings of the 21st International Conference on Concurrency Theory 515 (CONCUR'10), vol.6269, pp.313-327, 2010.

G. Delzanno, A. Sangnier, and G. Zavattaro, Verification of ad hoc networks 518 with node and communication failures, Proceedings of the 32nd International Conference on, p.519

, Formal Techniques for Distributed Systems (FMOODS/FORTE'12), volume 7273 of Lecture 520 Notes in Computer Science, 2012.

E. , A. Emerson, and A. Sistla, Symmetry and model checking. Formal Methods in 522 System Design, vol.9, pp.105-131, 1996.

J. Esparza, Keeping a crowd safe: On the complexity of parameterized verification 524 (invited talk), Proceedings of the 31st Symposium on Theoretical Aspects of Computer, p.525

, Leibniz International Proceedings in Informatics, vol.25, pp.526-527, 2014.

J. Esparza, P. Ganty, and R. Majumdar, Parameterized verification of asyn-528 chronous shared-memory systems, Proceedings of the 25th International Conference on, p.529