CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
The SAFE project aims to create an automated methodology for identifying errors in concurrent software, addressing the challenges posed by multi-core processors. It seeks to transition an academic prototype into a market-ready product to enhance software reliability.
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 bug…
RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
