|
MacConville, Dara, and Rosemary Monahan.
2024.
‘Towards a Model Checker for Python: Pymodcheck’.
In Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 1–4.
FTfJP 2024.
New York, NY, USA: Association for Computing Machinery.
https://doi.org/10.1145/3678721.3686233.
|
|
MacConville, Dara, Marie Farrell, Matt Luckcuck, and Rosemary Monahan.
2023.
‘CSP2Turtle: Verified Turtle Robot Plans’.
Robotics 12 (2): 62.
https://doi.org/10.3390/robotics12020062.
|
|
MacConville, Dara, Marie Farrell, Matt Luckcuck, and Rosemary Monahan.
2022.
‘Modelling the Turtle Python Library in CSP’.
Electronic Proceedings in Theoretical Computer Science 362 (July):15–22.
https://doi.org/10.4204/EPTCS.362.4.
|