La recherche au LSV

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é. Le LSV 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.

Propositions de stage au LSV

Voir la page des propositions de stage

Des propositions de stages de Master et de thèse sont régulièrement publiées par des chercheurs du LSV sur nos thématiques.

Axes de recherche du LSV

À propos du LSV

En savoir plus

Publications
Logiciels
Offres de stage

le rapport scientifique pour le contrat quinquennal 2014 - 2018

le livre du LSV : LSV bookSystems and Software Verification. Model-Checking Techniques and Tools

Publications récentes

Toutes les publications du LSV

S. DemriReasoning about reversal-bounded counter machinesIn Ewa Or\lowska on Relational Methods in Logic and Computer Science, Outstanding Contributions to Logic 17, pages 441-479. Springer, December 2018. PDF | BibTeX )
S. Haar, J. Kolcák and L. PaulevéCombining Refinement of Parametric Models with Goal-Oriented Reduction of DynamicsIn VMCAI'19, LNCS. Springer, January 2019. To appear. Web page | PDF | BibTeX )
É. André, L. Fribourg, J.-M. Mota and R. SoulatVerification of an industrial asynchronous leader election algorithm using abstractions and parametric model checkingIn VMCAI'19, LNCS. Springer, January 2019. To appear. PDF | BibTeX )
Y. DuplouyApplying Formal Methods to Autonomous Vehicle Control.  Thèse de doctorat, École Normale Supérieure Paris-Saclay, France, November 2018. Web page | BibTeX )
A. DallonVerification of indistinguishability properties in cryptographic protocols - Small attacks and efficient decision with SAT-Equiv.  Thèse de doctorat, École Normale Supérieure Paris-Saclay, France, November 2018. PDF | BibTeX )

Toutes les publications du LSV