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
This project focuses on developing methods to analyze infinite-state systems by creating finite-state approximations. It addresses fundamental problems in software verification, particularly in concurrent systems, aiming to enhance the efficiency of analyzing complex behaviors and ensuring safety properties.
The algorithmic analysis of infinite-state systems is a central topicof theoretical computer science that is part of a popular approach tosoftware verification.
While analyzing infinite-state systems isindispensable when verifying software, finite-state sytems are farbetter understood and permit much more efficient analysis.
In thisproject, I will pursue fundamental questions that arise when we wantto abstract infinite-state systems by finite-state systems.
The goalis to understand two types o…
MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
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.
