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