LSV, Cachan
The Laboratoire Spécification et Vérification is the Computer Science laboratory of the École Normale Supérieure de Cachan, with about twenty researchers, PhD students and post-docs on the themes of specification and verification.