Community Research and Development Information Service - CORDIS

ERC

CPROVER Report Summary

Project ID: 280053
Funded under: FP7-IDEAS-ERC
Country: United Kingdom

Final Report Summary - CPROVER (Validation of Concurrent Software Across Abstraction Layers)

The project has investigated methods that enable computers to understand and reason about their own programming. In the first half of the project, this work has focused on methods to automatically identify flaws in computer programs, especially those relating to concurrent behaviours. In the second phase, we have extended this work to methods that identify the root cause of the flaw. Finally, we have developed new methods that allows computers to fix bugs in given code and to generate entirely new programs from scratch. We have demonstrated numerous applications of these methods in a range of industry domains. The project has resulted in the foundation of Diffblue Ltd., which develops and markets Artificial Intelligence for Code, with now more than 50 staff.

Reported by

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
United Kingdom
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top