Laboratoire spécification et vérification
laboratoire d'informatique de l'ENS de Cachan
(Redirigé depuis Laboratoire Spécification et Vérification)
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.
Laboratoire Spécification et Vérification
Fondation | |
---|---|
Dissolution | |
Successeur |
Laboratoire de méthodes formelles (d) |
Code |
UMR 8643 |
---|---|
Type | |
Domaine d'activité | |
Siège | |
Pays | |
Coordonnées |
Organisations mères |
École normale supérieure Paris-Saclay Inria Institut des sciences de l'information et de leurs interactions (d) |
---|---|
Affiliation | |
Site web |
Le LSV est créé en 1997[1] et il est associé au Centre national de la recherche scientifique depuis .
Il compte aujourd'hui[Quand ?] dix-neuf membres permanents, environ autant de doctorants, ainsi que plusieurs membres associés.
Liens externes modifier
- Site officiel
- Ressources relatives à la recherche :
- (fr) Site officiel
- (fr) Site officiel (format court)
Notes et références modifier
- [1].