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
Logotype du LSV.
| Code |
UMR 8643 |
|---|---|
| Type | |
| Domaine d'activité | |
| Siège | |
| Pays | |
| Coordonnées |
48° 47′ 31″ N, 2° 19′ 55″ E |
| Organisations mères |
École normale supérieure Paris-Saclay Institut national de recherche en informatique et en automatique 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 dix-neuf membres permanents, environ autant de doctorants, ainsi que plusieurs membres associés.
Liens externes
- Site officiel
- Ressources relatives à la recherche :
- (fr) Site officiel
- (fr) Site officiel (format court)
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.