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.

Keywords

 Concurrent systems   Dependability   Embedded systems    Formal specification and verification    Models and programming for the Web    Models of computation    Programming languages and static analysis