Logiciels et applications

Logiciels développés dans l’équipe

L’ environnement POEM. POEM est un outil de model checking modulaire, construit afin de supporter des langages d’entrées différents (actuellement IF, PROMELA, UppAal) et des algorithmes d’analyses et de vérification variés. POEM propose également du code réutilisable pour algorithmes efficaces de model checking utilisant des techniques d’ordres partiels.

Le vérificateur de protocoles cryptographiques TRUST Permet de vérifier des propriétés de secret et d’authentification des protocoles cryptographiques.

Nous participons au developpement de ViSiDiA, un outil de visualisation et simulation d’algorithmes distribués.