EN FR
EN FR


2013 Project-Team Activity Report
CONVECS
Construction of verified concurrent systems
Research centre: Grenoble - Rhône-Alpes
In partnership with: CNRS, Institut polytechnique de Grenoble, Université Joseph Fourier (Grenoble)

In collaboration with: Laboratoire d'Informatique de Grenoble (LIG)



Field: Algorithmics, Programming, Software and Architecture

Theme: Embedded and Real-time Systems
Keywords: Formal Methods, Model-checking, Verification, Distributed Algorithms, Markovian Model