References

1. Marco Eilers & Peter Müller (2018): Nagini: A Static Verifier for Python. In: Hana Chockler & Georg Weissenbacher: Computer Aided Verification 10981. Springer International Publishing, Cham, pp. 596–603, doi:10.1007/978-3-319-96145-3_33. Available at http://link.springer.com/10.1007/978-3-319-96145-3_33.
2. Thomas Gibson-Robinson, Philip Armstrong, Alexandre Boulgakov & Andrew Roscoe (2014): FDR3 – A Modern Model Checker for CSP. In: Tools and Algorithms for the Construction and Analysis of Systems, LNCS 8413. Springer, pp. 187–201, doi:10.1007/978-3-642-54862-8\voidb@x 0.06emwidth0.5em13.
3. Charles Antony Richard Hoare (1978): Communicating sequential processes. Communications of the ACM 21(8), pp. 666–677, doi:10.1145/359576.359585.
4. Matt Luckcuck & Rafael C. Cardoso (2022): Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest. In: Natasha Alechina, Matteo Baldoni & Brian Logan: Engineering Multi-Agent Systems. Springer, Cham, pp. 198–217, doi:10.1007/978-3-030-97457-2_12. Available at https://arxiv.org/abs/2106.04512.
5. Matt Luckcuck, Marie Farrell, Louise A Dennis, Clare Dixon & Michael Fisher (2019): Formal specification and verification of autonomous robotic systems: A survey. ACM Computing Surveys (CSUR) 52(5), pp. 1–41, doi:10.1145/3342355. Available at https://dl.acm.org/doi/10.1145/3342355.
6. A.W. Roscoe: Understanding Concurrent Systems. Texts in Computer Science. Springer London, doi:10.1007/978-1-84882-258-0. Available at http://link.springer.com/10.1007/978-1-84882-258-0.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org