Trustworthy Autonomous System - Verifiability Node

Funded by: 

UKRI Trustworthy Autonomous Systems (TAS) programme, funded through the UKRI Strategic Priorities Fund brings together the research communities and key stakeholders to drive forward cross-disciplinary fundamental research to ensure that autonomous systems are safe, reliable, resilient, ethical and trusted.

The Verifiability Node of this programme is a £3m project led by Professors Mohammad Mousavi, Ana Cavalcanti and Jim Woodcock. Contributions to this project are related with the definition and formalisation of notations to support unified verification of a variety of properties using a range of techniques.