About VeTSS
The Research Institute on Verified Trustworthy Software Systems (VeTSS) is an UK Academic Research Institute in Cyber Security, jointly hosted by the University of Surrey and Imperial College London, with Prof Brijesh Dongol (Surrey) and Dr Azalea Raad (Imperial) as Directors.
VeTSS is one of four research institutes within the National Cyber Security Centre (NCSC), bringing together leading academics, industry professionals, regulators and government representatives to ensure research into software stays focused on the safety and security challenges faced by the UK and mitigates the risks posed.
The aim of VeTSS is to address the challenge of traditional methods for ensuring software reliability no longer being adequate in modern contexts, 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. You can find details of our history and aims here.
Videos
As part of goal to remove barriers to participation we aim to record and made available as many of our talks, Summer School tutorials and Annual Meeting presentations. You can find playlist for most of the events organised by VeTSS in our YouTube channel and individual videos of each talk in our VeTSS videos page.
VeTSS summer School 2023 ends
We had great weather on the final days of this [...]
Postponed: VeTSS industry innovation sandpit
The one-day VeTSS industry innovation sandpit at Imperial I-X has [...]
FUN IN THE REPL! Fun in the Afternoon meets S-REPLS @ Bristol Engine Shed, Weds 1st November 2023
We are very happy to be one of the sponsors [...]
Verifying Read-Copy Update Under RC11.
Mikhail Semenyuk, Mark Batty and Brijesh Dongol.
In: Ferreira, C., Willemse, T.A.C. (eds) Software Engineering and Formal Methods. SEFM 2023. Lecture Notes in Computer Science, vol 14323. Springer, Cham. 2023
Ownership-Based Owicki-Gries Reasoning.
Mikhail Semenyuk and Brijesh Dongol.
SAC ’23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, March 2023, 1685–1694. 2023
by