Our Project Partners


TASVerifiability Node Vision

Autonomous systems are technologies that interact within an environment to gain knowledge and build awareness, learn, adapt and make decisions, with little or no human control. They include automated decision-making software and ‘smart’ devices as well as self-driving cars, drones and healthcare and surgical robots. These systems are already used in many sectors of society. Given their increased use, it is important to ensure that they are designed, built and deployed in a way that can be fully relied upon.


TAS Verifiability Node Tools

Our state-of-the art tools are freely available for dowload.


Tool for conformance testing of Cyber-Physical Systems.

RoboTool supports graphical modelling, validation, and automatic generatits...

The MCAPL Project provides a tool for prototyping BDI agent programming languages ....

ROSMonitoring provides a Runtime Verification Framework for ROS.

Management Board

Prof Mohammad Mousavi

London | Principal Investigator (PI)

Prof Ana Cavalcanti

York | Deputy PI

Prof Michael Fisher

Manchester | Deputy PI

Prof Rob Richardson

Leeds | Site Leader

Prof Gavin Brown

Manchester | Site Leader

Prof James Woodcock

York | Site Leader

Prof Effie Lai-Chong Law

Durham | Site Leader

Prof Rob Hierons

Sheffield | Site Leader

Dr Bilal Kaddouh

Leeds | Case Studies Officer

Dr Genovefa Kefalidou

Leicester | Engagement and Node Liaison Officer

Dr Jan Ringert

London | Engagement and Node Liaison Officer

Dr José Miguel Rojas

Leicester | Publicity Officer


Advisory Board

Dejanira Araiza Illan

Assistant Principal Engineer in Robotic Applications at Johnson & Johnson.

Raja Chatila

Professor Emeritus, Institute of Intelligent Systems and Robotics.

Sebastian Conran

CEO of Consequential Robotics.

Danit Gal

Associate Fellow at The Leverhulme Centre for the Future of Intelligence

Koen Hindriks

Professor Artificial Intelligence, Social AI group, Vrije Universiteit Amsterdam.

Joost Noppen

Principal Researcher Software, BT Applied Research.

Colin O’Halloran

Technical Director of D-RisQ Ltd.

Kristin Yvonne Rozier

Assistant Professor, Department of Aerospace Engineering.

Rich Walker

Managing Director, The Shadow Robot Company.

Henry Tse

Connected Places Catapult, the UK’s innovation accelerator for cities, transport, and places.

Thierry Lecomte

R&D Project Director at CLEARSY, French SME specialised in safety critical systems.


15 entries « 1 of 5 »

Turker, Uraz; Hierons, Robert; Mousavi, Mohammad Reza; Tyukin, Ivan

Efficient state synchronisation in model-based testing through reinforcement learning Inproceedings

In: Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021)., IEEE/ACM, 2021.

Abstract | Links | BibTeX

Amram, Gal; Maoz, Shahar; Pistiner, Or; Ringert, Jan Oliver

Efficient Algorithms for Omega-Regular Energy Games Inproceedings

In: Huisman, Marieke; Pasareanu, Corina S.; Zhan, Naijun (Ed.): Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 163–181, Springer, 2021.

Links | BibTeX

Maoz, Shahar; Ringert, Jan Oliver

Spectra: a specification language for reactive systems Journal Article

In: Softw. Syst. Model., 20 (5), pp. 1553–1586, 2021.

Links | BibTeX

15 entries « 1 of 5 »


Verifiability Talk 33: “Connections of adversarial machine learning and machine learning testing?”

Verifiability Talk 32: “Excess Capacity and Backdoor Poisoning”

Verifiability Talk 31: Towards realtime autonomous overtaking planning using model checking

Verifiability Talk 30: Lightweight Formal Methods for the Design, Verification, Synthesis and Analysis of Autonomous Systems

Verifiability Talk 29: “Deriving Formal Models from Natural Language Requirements using ARSENAL Semantic Parser”

Verifiability Talk 28: “A Multi-language Platform for Compositional Symbolic Analysis”

Verifiability Talk 27: “Runtime Verification for the Masses”

Verifiability Talk 26: “A New Approach for Active Automata Learning Based on Apartness”

Twitter feeds

Twitter Feeds

Please follow us on Twitter to receive instant updates on events, activities and news related to the node.

Join Us twitter

On Thursday at 4pm GMT, we will host Natarajan Shankar (@SRI_Intl) with an exciting talk on Deriving Formal Models from Natural Language Requirements. Please join:
@tas_verif @tas_hub @tas_function @tas_resilience @TAS_Security @tas_governance @tas_trust

Load More...