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 surs 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