Skip to main

Impact case study database

The impact case study database allows you to browse and search for impact case studies submitted to the REF 2021. Use the search and filters below to find the impact case studies you are looking for.
Waiting for server

The Infer Tool for Automatic Verification of Memory Violations in Software Systems

1. Summary of the impact

2. Underpinning research

3. References to the research

4. Details of the impact

5. Sources to corroborate the impact

Additional contextual information

Grant funding

Grant number Value of grant
DCSF1A3R £448,963
EP/G006245/1 £253,000
EP/H011749/1 £219,000