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 verification techniques for computer systems that handle extensive data manipulation. It aims to create formal specification languages and algorithms using Satisfiability Modulo Theories solvers to enhance automated verification processes.
The development of formal methods for the verification of computer systems is recognizedas a grand challenge by many research institutions. A successful approach for the verification ofsystems consists in modelling the system to be verified by a mathematical structure andin expressing behavioral properties in a logical formalism.
The assumption that programs arefinite-state is usually too restrictive and model-checking techniques for infinite-state systemshave flourished these last 20 years.
Our…
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
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 topics.
