Laboratoire spécification et vérification
Le Laboratoire Spécification et Vérification (LSV) est le laboratoire d'informatique de l’École normale supérieure Paris-Saclay et affilié au Centre National de la Recherche Scientifique (CNRS) en tant qu'UMR 8643.
UMR 8643
Organisation
Directrice : Patricia.BOUYER [at] ens-cachan.fr (Patricia BOUYER DECITRE)
Le laboratoire comprend 25 enseignants-chercheurs ou chercheurs, 11 membres associés ou temporaires, 24 doctorants, 6 personnels administratif et technique et 1 membre LSV détaché.
Recherche
Le LSV consacre ses recherches à la vérification des systèmes critiques et embarqués, des bases de données et des protocoles de sécurité.
Il développe les fondements mathématiques et algorithmiques nécessaires à la conception de logiciels en vue d'automatiser les preuves de correction et la détection d'erreurs.
6 axes de recherche
- DAHU : bases de données et vérification
- DEDUCTEAM : vérification de preuves
- INFINI : algorithmique de la vérification symbolique
- MEXICO : interaction et concurrence
- SECSI : sécurité des systèmes d’information
- VASCO : vérification et synthèse de systèmes complexes.
Partenariats
Certaines recherches sont menées conjointement avec l’INRIA via des équipes communes.
