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.

Back

Cost-effective assurance for industrial software systems through open source formal modelling and verification tools

Download case study PDF

Submitting institution

University of Southampton

Unit of assessment

11 - Computer Science and Informatics

Summary impact type

Technological

Request cross-referral to

Is this case study continued from a case study submitted in 2014?

Underpinning research subjects

Computer Software
Information Systems
Electrical And Electronic Engineering

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

Countries

UK
USA
Germany
Austria
Romania
Spain
France
China
Australia
Brazil
Canada
Finland
Malaysia
Thailand
Global

Researcher ORCIDs

0000-0003-4642-5373
0000-0003-4095-0732
0000-0002-0210-0983
0000-0002-4595-1518