CONVECS

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.