Verifiability Talk 19: Synthesis Technologies for Reactive Systems

I was invited to give a talk on the SYNTECH project and synthesis technologies in the seminar series of the TAS Verifiability node. The node is part of a larger UKRI funded project on Trusted Autonomous Systems. The goal of the TAS Verifiability node is to develop novel rigorous techniques that automate the systematic and holistic verification of autonomous systems. We persue this goal with other researchers from Universities of Durham, Leeds, Leicester, Manchester, Sheffield, York, and King's College London.

More information on the SYNTECH project and the Spectra language and tools can be found at the links below: