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)