The Second call for proposals in October 2017 wanted to support work engaging with the international academic or industrial community specialising in analysis, testing and verification, or the UK industrial community interested in applying such techniques to industrial practice. It also encouraged applications for PhD studentships.
- Session Type-Based Verification Framework for Message-Passing in Go. PI: Nobuko Yoshida, Imperial College London
- Automated Black-Box Verification of Networking Systems. PI: Alexandra Silva, University College London, Co-I: Matteo Sammartino, Royal Holloway, University of London
- Specification and verification of C++ data structure libraries. PI: Mark Batty, University of Kent.
- Towards Optimised Taint Analysis. PI: Daniel Kroening, University of Oxford, Amazon, Co-I: John Galea, University of Oxford
- Building Verified Applications in CakeML . PIs: Olaf Chitil and Scott Owens, University of Kent.
- Trustworthy Software for Nuclear Arms Control. PI: Andy King, University of Kent
- Supervectorizer (Phase II). PI:Greta Yorsh, Queen Mary, University of London,
- Operating Systems Components as Verified Libraries. PI: Tom Ridge, University of Leicester
- Formal Verification of Quantum Security Protocols using Coq. PI: Rajagopal Nagarajan, Middlesex University London.
- A Foundation for Testing and Verifying C++ Transactions. PI: John Wickerson, Imperial College London.