Laboratoire spécification et vérification
laboratoire d'informatique de l'ENS de Cachan
(Redirigé depuis Laboratoire Spécification et Vérification)
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Laboratoire Spécification et Vérification
Logotype du LSV.
| 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 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[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].
