Construction of verified concurrent systems
Construction of verified concurrent systems

CONVECS is a research team working on the formal modeling and verification of asynchronous concurrent systems, which are instantiated in various domains (communication protocols, distributed algorithms, cloud computing, Globally Asynchronous Locally Synchronous systems - GALS, etc.). To this aim, CONVECS proposes new formal languages for specifying the behaviour and the properties of concurrent systems, and devises efficient verification algorithms and tools running on sequential machines and distributed infrastructures.

Centre(s) inria
Inria Centre at Université Grenoble Alpes
In partnership with
Université de Grenoble Alpes


Team leader

Myriam Etienne

Team assistant