Construction of Verified Concurrent Systems
Logo Inria Logo LIG Logo Grenoble INP Logo CNRS Logo UGA

CONVECS is a research project-team common between Inria Grenoble - Rhône-Alpes and the LIG laboratory. Its research activities focus on the formal modeling and verification of asynchronous concurrent systems, which are instantiated in various domains (communication protocols, distributed algorithms, 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 and massively parallel machines.

The CONVECS team in July 2018. From left to right: Umar Ozeer, Frédéric Lang, Ajay Muroor-Nadumane, Eric Jenn (IRT Saint Exupéry, visiting), Radu Mateescu, Gianluca Barbon, Lucie Colpart, Wendelin Serwe, Gwen Salaün, Pierre Bouvier, Yliès Falcone (CORSE project-team, visiting), Viet Anh Nguyen (IRT Saint Exupéry, visiting), Lian Apostol, Myriam Etienne (not on the picture), Lina Marsso (not on the picture), and Hubert Garavel (not on the picture).

CONVECS builds on the scientific expertise and human potential of the former VASY project-team of Inria.

Logo Twitter
Last modified: 2018/11/19 14:09:04.