The Research Institute on Verified Trustworthy Software Systems (VeTSS) at Imperial is a UK Academic Research Institute in Cyber Security, funded by the Engineering and Physical Sciences Research Council.
Modern software systems comprise components constructed by many parties, from individual open-source developers to companies and government organisations spanning the globe. They are written in multiple complex languages, depend on the correctness of sophisticated third-party libraries, exploit concurrency and distribution to handle vast data sets, and require frequent source code updates. Traditional methods for ensuring software reliability are no longer adequate in this modern context. Novel techniques that can provide trust, in the deep technical sense of analysis and verification, are vital not only to making software safe, but also to giving stability to this international software infrastructure.
The aim of VeTSS is to address this challenge by bringing together and supporting world-class UK academics and industrialists unified by a common interest in program analysis, testing, and verification. VeTSS stands at the forefront of research developments in fundamental theories and industrial-strength tools, targeting real-world applications. VeTSS succeeds the previous three-year Research Institute in Automated Program Analysis and Verification (RIAPAV).