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