Fondé en 1997, le Laboratoire Spécification et Vérification (LSV) est le laboratoire d’informatique de l’ENS Cachan en co-tutelle avec le CNRS, et est soutenu par INRIA.

Pour découvrir le laboratoire spécification et vérification (LSV), suivez ce lien.


Founded in 1997, the Laboratoire Spécification et Vérification (LSV) is the Computer Science laboratory of ENS de Cachan  jointly with CNRS, and is supported by INRIA.

Research at LSV is focused on the foundations of verification of computer systems. It is organized around wide applications areas such as critical software and systems, verification of computer system security, and database driven systems. We develop methods and software for mechanizing correctness proofs and bug detection, based on model checking theory, logic and game theory.

Today, the lab has 60 members among which 26 faculty.