VeTSS is inviting proposals for research into the areas of program analysis, testing, and verification, in particular work seeking to develop fundamental theories and industrial-strength tools that target real-world applications. Closing date for this call is 11th January 2018, 16:00h. This second call for £0.5M, funded by the National Cyber Security Centre (NCSC), is intended… Read more »
Funding Calls
£0.5M Call for research proposals on program analysis, testing and verification, funded by NCSC, deadline 17th July 2017
VeTSS is inviting proposals for research into the areas of program analysis, testing, and verification, in particular work seeking to develop fundamental theories and industrial-strength tools that target real-world applications. Closing date for this call is 17th July, 2017, 9:00 AM. This initial call for £0.5M is intended to support small projects between 1st August… Read more »
