Objectifs Scientifiques

L’équipe VELO développe des méthodes formelles pour modéliser, analyser et vérifier des systèmes complexes, qu’il s’agisse de systèmes logiciels ou de systèmes issus des domaines de l’environnement et de la santé. Ses recherches explorent différents formalismes adaptés à des systèmes discrets, continus, probabilistes ou hybrides, ainsi que les méthodes d’analyse et de vérification permettant d’en garantir les propriétés.

L’équipe étudie les systèmes complexes sous différents angles, en s’intéressant aux composants et aux agents qui les constituent, à leurs interactions, à leur architecture et à leur évolution. Ses travaux mobilisent notamment le model checking, la preuve formelle, le test logiciel et l’analyse statistique afin de mieux comprendre, analyser et vérifier les propriétés de ces systèmes.