Fondé en 1997, le Laboratoire Spécification et Vérification (LSV) est le laboratoire d’informatique de l’ENS Cachan en co-tutelle avec le CNRS, et est soutenu par INRIA.

La recherche au LSV est centrée sur les fondements de la vérification des systèmes informatiques. Elle s’articule autour de grands champs d’application comme la sûreté des systèmes critiques, la sécurité des protocoles cryptographiques et la correction des systèmes distribués articulés autour de bases de données. Nous développons des méthodes et logiciels automatisant les preuves de correction et la détection d'erreurs, qui reposent sur la théorie du model-checking, la logique et la théorie des jeux.

Le laboratoire compte aujourd’hui 60 membres dont 26 enseignants-chercheurs et chercheurs permanents.

 

Pour en savoir plus