fr Laboratoire sp%C3%A9cification et v%C3%A9rification

Histoire
Fondation	1997
Dissolution	1er janvier 2021
Successeur	Laboratoire de méthodes formelles (d)
Code	UMR 8643
Type	Institut de recherche, unité mixte de recherche
Domaine d'activité	Informatique
Siège	Cachan (61, avenue du Président-Wilson)
Pays	France
Coordonnées	48° 47′ 31″ N, 2° 19′ 55″ E
Organisations mères	École normale supérieure Paris-Saclay; Inria; Institut des sciences de l'information et de leurs interactions (d)
Affiliation	CNRS et ENS Paris-Saclay
Site web	www.lsv.ens-cachan.fr

Cet article est une ébauche concernant l’informatique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Le Laboratoire spécification et vérification (LSV) était le laboratoire de recherche en informatique de l'ENS Paris-Saclay. Au 1^er janvier 2021, 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^[1] et il est associé au Centre national de la recherche scientifique depuis janvier 1997.

Il compte aujourd'hui^[Quand ?] dix-neuf membres permanents, environ autant de doctorants, ainsi que plusieurs membres associés.

Liens externes