Ce site utilise des cookies pour nous aider à vous donner la meilleure expérience lorsque vous visitez notre site Web. En continuant à utiliser ce site, vous consentez à notre utilisation de ces cookies.
CONVECS est une équipe-projet Inria qui s’intéresse à la conception fiable des systèmes concurrents et critiques contenant du parallélisme asynchrone. Les recherches de CONVECS portent sur la définition de langages formels pour décrire le comportement, les propriétés logiques et les aspects quantitatifs de ces systèmes, ainsi que sur les techniques de vérification compositionnelle, à la volée, parallèle et distribuée permettant de traiter des systèmes de grande taille. CONVECS développe des outils logiciels avancés, qui sont largement utilisés en milieu académique et industriel.