Welcome to the first annual report of the UKRI Trustworthy Autonomous Systems Node on Verifiability! The Verifiability Node started off in November 2020 and in this report we cover the Node activities till the end of November 2021.
Welcome to the second edition of the Verifiability Node annual report. Last year was an exciting year for Verifiability. I would like to summarise the year in two words: “maturing” and “integration”. Our foundational results matured further and many results were published in the flagship venues of the diverse set of disciplines involved in the Node. Also we set as our priority to use our common case studies as vehicles to integrate the various developed techniques across the Node.