Inria
Inria.fr
Inria Channel
There are 2 Results with the keyword : "Model Checking"
Demo showroom
Verification of critical embedded systems with CADP 2009
The development of critical embedded systems requires tools to ensure their reliability from the first phases of their design. The CADP software toolbox permits the modeling and formal verification of these systems. We illustrate the use of CADP as part of several avionic case studies.
Keywords:
Home > Innovation > industrial sectors > Aeronautics, defence, space, security > Demo > Vérification de systèmes embarqués critiques avec CADP 2009
Research teams
The teaching and research chairs
Since 2008, Inria has been supporting a new form of partnership: teaching and research chairs. Working in collaboration with scientific and industrial partners, these chairs are aimed at strengthening fields that are crucial for technological development and innovation. This collaboration has already given rise to two ambitious projects: a research chair with Schneider Electric and a chair with the Ecole Polytechnique and the EADS foundation.
Keywords:
- Fondation EADS
- CMAP
- MMSN
- Integrative research centre
- Academic partnerships
- Turing prize
- Model Checking
- Schneider Electric
- Digiteo
Home > Research > Research teams > Chaires d'enseignement et de recherche
