Though testing and simulation can provide partial solutions, our approach centres around formal verification, which provides exhaustive analysis and mathematical proof that a system will always meet its (formal) requirements.
Through the projects below, we are involved in work in this area on
- establishing safety and reliability of a range of autonomous systems,
- developing evidence for certification and standards,
- exploring ethical behaviour in autonomous systems, and
- providing a range of tools and techniques to advance formal verification research.