From LaBRI - Laboratoire Bordelais de Recherche en Informatique

MF: ModVerif

Formal Methods Group
Modeling and Verification
Head: Laurent Simon.

General presentation

The research theme Modeling and Verification (MV) continues research initiated in the early eighties by the group MVTsi (led by André Arnold). The members of the group work on modeling and verification of complex systems. They develop formal methods for establishing correctness of systems. The group works on a mix of three types of activities:

Seminar

Tools

Projects

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