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
Grenoble - Rhône-Alpes
En partenariat avec
Institut polytechnique de Grenoble,Université Joseph Fourier (Grenoble)

Membres

Radu Mateescu

Responsable de l'équipe

Myriam Etienne

Assistant(e) de l'équipe