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:
- SYNTECH project page with all publications
- Spectra synthesizer code
- Spectra tutorial videos
- Spectra tutorial code
Comments
Post a Comment