Laboratoire Spécification et Vérification
Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
Le Laboratoire Spécification et Vérification (LSV) est le laboratoire de recherche en informatique de l'ENS Cachan.
Il a été créé en octobre 1996 et est associé au Centre National de la Recherche Scientifique depuis janvier 1997.
Il compte aujourd'hui dix-neuf membres permanents, environ autant de doctorants, ainsi que plusieurs membres associés.