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 aims to develop a theory for quantitative fitness measures in reactive models, focusing on applications in hardware, software, and systems biology. The goal is to enhance the understanding of model checking and synthesis through quantitative generalizations.
The project aims to build and evaluate a theory of quantitative fitness measures for reactive models.
Such a theory must strive to obtain quantitative generalizations of the paradigms that have been success stories in qualitative reactive modeling, such as compositionality, property-preserving abstraction, model checking, and synthesis.
The theory will be evaluated not only in the context of hardware and software engineering, but also in the context of systems biology.
In particular, we hope to…
INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA
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.
