SAFE — Safety Analysis of Concurrent Systems

Software faults that evade testing can have serious consequences, not sparing economic damages or human losses. Recent developments towards multi-core processors have led to the increased usage of concurrency to utilize the hardware's full potential. While helping to make software ever more capable, this further complicates the already laborious and time-consuming challenge of software testing. Not only tremendously increasing the computational effort needed to automatically find concurrency bugs, such errors prove to be especially tricky to find and fix even for professional software developers. Yet, currently the market does not provide a satisfying solution to addresses this challenge. The Proof-of-Concept (PoC) project SAFE, however, offers a comprehensive, rigorous, and automated methodology for systematically finding errors in concurrent software. Based on state-of-the-art technology, an academic prototype developed as part of the SYMBIOSYS project (ERC Consolidator Grant) has established the algorithmic applicability of the core methodology, already finding a number of bugs in real-world concurrent software.



Student Researchers


For questions and inquiries regarding the SAFE project, please contact:

   Julian Büning
   Systems Analysis Group

   E-Mail: julian.buening at
   Phone: +49 241 80-21418



This project receives funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant agreement No. 966733) .

- Impressum | Datenschutz -