The aim of VeTSS is to bring together and support UK academics, industrialists and government officials united by a common interest in software analysis, testing and verification.
To this end, the National Cyber Security Centre (NCSC) is providing funding of £0.5 M per year to support academic research projects in software analysis, testing and verification. This annual report, published in October 2018, describes the projects funded under the scheme from April 2017 to March 2018.
We are delighted to report on the deep connection between the VeTSS academic research and industry, as in the case of Livshits’ and Donaldson’s VeTSS project, which is related to an academic start-up of Donaldson (Imperial) that has recently been bought by Google. Also, it is very encouraging to see that VeTSS funding has led directly to further funding by EPSRC, the EU and industry as well as a number of academic publications.