Equipe-projet

CONVECS

Construction de systèmes concurrents vérifiés
Construction de systèmes concurrents vérifiés

CONVECS est une équipe de recherche travaillant sur la modélisation et la vérification formelle de systèmes concurrents asynchrones, qui s'instancient dans de nombreux domaines (protocoles de communication, algorithmes distribués, nuages de calcul, systèmes Globalement Asynchrones et Localement Synchrones - GALS, etc.). A ce titre, CONVECS propose de nouveaux langages formels pour spécifier le comportement et les propriétés des systèmes concurrents, et conçoit des algorithmes de vérification et des outils efficaces pour des machines séquentielles et des infrastructures de calcul distribuées.

Centre(s) inria
Centre Inria de l’Université Grenoble Alpes
En partenariat avec
Université de Grenoble Alpes

Contacts

Responsable de l'équipe

Myriam Etienne

Assistant(e) de l'équipe

Dans l'actualité