Le Laboratoire spécification et vérification (LSV) était le laboratoire de recherche en informatique de l'ENS Paris-Saclay. Au , il a fusionné avec une partie du Laboratoire de recherche en informatique pour devenir le Laboratoire Méthodes Formelles.
Le LSV est créé en 1997. et il est associé au Centre national de la recherche scientifique depuis .
Il compte dix-neuf membres permanents, environ autant de doctorants, ainsi que plusieurs membres associés.
Liens externes
Site officiel Site officiel (format court)
Notes et références
Catégorie:Laboratoire d'informatique en France