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.
Call for proposal
See other projects for this call