28 citations · 61 across the 16 of their papers we have counts for
3 papers · 2 filters
Towards Compositional Verification for Modular Robotic Systems
Rafael C. Cardoso, Louise A. Dennis, Marie Farrell +2
Software engineering of modular robotic systems is a challenging task, however, verifying that the developed components all behave as they should individually and as a whole presen…
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper
Antonio Cerone, Markus Roggenbach, James Davenport +10
This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, i…
Heterogeneous Verification of an Autonomous Curiosity Rover
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck +2
The Curiosity rover is one of the most complex systems successfully deployed in a planetary exploration mission to date. It was sent by NASA to explore the surface of Mars and to i…