Nos partenaires

CNRS

Rechercher





Accueil du site > English > Departments > Reliability of Systems and Software > ACADIE Team > Research topics

Research topics

The ACADIE (Assistance to the Certification of Distributed and Embedded Applications) team studies the development and verification of critical software systems for which one has to exhibit a correctness certificate. The essence of such a certificate is a mathematical correctness proof. The ACADIE team studies how to elaborate such a certificate at three levels :

  • Type Theory and Category Theory
  • Development of Critical Software
  • Verification of Critical Distributed Systems

Cette rubrique ne contient aucun article.