Laboratoire spécification et vérification

Laboratoire spécification et vérification

Le Laboratoire Spécification et Vérification (LSV) est le laboratoire d'informatique de l’École normale supérieure Paris-Saclay et affilié au Centre National de la Recherche Scientifique (CNRS) en tant qu'UMR 8643.

UMR 8643

61, avenue du Président Wilson
94235 Cachan Cedex
Tel. +33 (1) 47 40 75 20

Organisation

Le directeur du LSV est Stéphane Demri, directeur de recherche au CNRS.

Le laboratoire comprend 25 enseignants-chercheurs ou chercheurs, 11 membres associés ou temporaires, 24 doctorants, 6 personnels administratif et technique et 1 membre LSV détaché.

Recherche

Le LSV consacre ses recherches à la vérification des systèmes critiques et embarqués, des bases de données et des protocoles de sécurité.

Le LSV développe les fondements mathématiques et algorithmiques nécessaires à la conception de logiciels en vue d'automatiser les preuves de correction et la détection d'erreurs.

Le LSV a six axes de recherche :

  • DAHU : bases de données et vérification
  • DEDUCTEAM : vérification de preuves
  • INFINI : algorithmique de la vérification symbolique
  • MEXICO : interaction et concurrence
  • SECSI : sécurité des systèmes d’information
  • VASCO : vérification et synthèse de systèmes complexes.


Partenariats

Certaines recherches sont menées conjointement avec l’INRIA via des équipes communes.