Aller au contenu principal

Méthodes Formelles, Modèles et Langages

Les équipes de l'axe étudient les concepts, formalismes, techniques et outils permettant la description, l'analyse et le raisonnement sur des systèmes complexes, afin d'obtenir des systèmes a la fois plus riches en fonctionnalités, plus robustes, plus sûrs et plus efficaces.

Mots clés

Langages de programmation et analyses statiques     Modèles de calcul     Modèles et programmation pour le web      Spécification et vérification formelles      Sureté de fonctionnement      Systèmes concurrents     Systèmes embarqués

Contact

Pierre GENEVES

Les équipes de l'axe

Publié le 17 août 2020

Mis à jour le 1 juillet 2025