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.