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.
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.