Equipe-projet de recherche commune INRIA et CNRS, Grenoble INP, UGA
Axe : Méthodes Formelles, Modèles et Langages

CONVECS est une équipe-projet Inria qui s’intéresse à la conception fiable des systèmes concurrents et critiques contenant du parallélisme asynchrone. Les recherches de CONVECS portent sur la définition de langages formels pour décrire le comportement, les propriétés logiques et les aspects quantitatifs de ces systèmes, ainsi que sur les techniques de vérification compositionnelle, à la volée, parallèle et distribuée permettant de traiter des systèmes de grande taille.
CONVECS développe des outils logiciels avancés, qui sont largement utilisés en milieu académique et industriel.

Mots Clés

Méthodes Formelles    Modèles et Langages    Logiciel    Modèles    Systèmes à événements discrets    Logique    Théorie des langages    Systèmes critiques    Systèmes embarqués    Evaluation de performances    Langage de programmation    Spécification et validation   Vérification - Preuve - Test    Sûreté et qualité des logiciels    Compilation et génération de code