Project description
Finding errors in concurrent software
From mobile telephony to aviation, much of the software used today is concurrent. Debugging concurrent software failures remains a big challenge. Errors are not only hard to find, they are also difficult to fix. In this context, the EU-funded SAFE project will develop a comprehensive, rigorous and automated methodology for systematically finding errors in concurrent software. Specifically, the project will establish the technical requirements for transitioning the prototype into a product. It will also complete core features and lay the technical groundwork for commercialisation. Also, the technology will be tailored to serve a wider range of software.
Fields of science
Programme(s)
Funding Scheme
ERC-POC-LS - ERC Proof of Concept Lump Sum Pilot
Host institution
RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
Net EU contribution
€ 150 000,00
Address
Templergraben 55
52062 Aachen
Germany
52062 Aachen
Germany
See on map
Region
Nordrhein-Westfalen Köln Städteregion Aachen
Activity type
Higher or Secondary Education Establishments
Other funding
No data
Beneficiaries (1)
RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
Germany
Net EU contribution
€ 150 000,00
Address
Templergraben 55
52062 Aachen
52062 Aachen
See on map
Region
Nordrhein-Westfalen Köln Städteregion Aachen
Activity type
Higher or Secondary Education Establishments
Other funding
No data