Autonomous systems have the promise to address many of our societal challenges in a variety of areas. To realize this potential, these systems need to be trustworthy. We describe research carried out by a U.K. consortium to address a central issue in establishing trustworthiness: verifiability.