From LaBRI - Laboratoire Bordelais de Recherche en Informatique

MF: ModVerif

Equipe Méthodes Formelles
Modélisation & Vérification
Responsable : Laurent Simon .

Présentation générale

Le thème MV représente la continuation des activités de recherche de l'équipe MVTsi, créée début des années quatre-vingt par André Arnold. Ses membres se consacrent à la modélisation, la vérification et le test des systèmes informatiques complexes. Ils développent des méthodes rigoureuses pour garantir le bon fonctionnement des systèmes. Le thème représente la conjonction de trois types d'activités de recherche :

Séminaire

Logiciels

Projets

Récupéré sur http://www.labri.fr/index.php?n=MF.ModVerif
Page mise à jour le 08/02/2016 à 09:34