- Article
CSP2Turtle: Verified Turtle Robot Plans
- Dara MacConville,
- Marie Farrell,
- Matt Luckcuck and
- Rosemary Monahan
Software verification is an important approach to establishing the reliability of critical systems. One important area of application is in the field of robotics, as robots take on more tasks in both day-to-day areas and highly specialised domains. O...

