Our partners

CNRS

Search





Home page > Français > Départements > Fiabilité des systèmes et des logiciels > Equipe ACADIE > Recherches

Recherches

L’équipe ACADIE a pour objectif de contribuer à l’amélioration des méthodes et outils de certification des logiciels distribués embarqués. Pour ce faire, ses thématiques de recherche se développent selon trois axes complémentaires du plus théorique au plus applicatif :

  • les environnements de preuve,
  • les méthodes et les langages pour le développement de logiciels critiques,
  • la vérification de systèmes distribués critiques.

This section doesn't contain any article.