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
In partnership with
Institut polytechnique de Grenoble,Université Joseph Fourier (Grenoble)


Team leader

Myriam Etienne

Team assistant