Research at LSV

Research at LSV focuses on the verification of computerized systems, of databases and of security protocols. LSV develops the mathematical and algorithmic foundations to the development of tools for automatically proving correctness and detecting flaws.

Internship Proposals at LSV

Go to the internships page

Internship and PhD proposals are regularly posted by LSV researchers on our themes.

Research axes

About LSV


Internship opportunities

the scientific report for the 5-year contract 2014--2018 [in French]

the LSV book: LSV bookSystems and Software Verification. Model-Checking Techniques and Tools

Recent Publications

All the LSV publications

P. Bouyer, N. Markey and V. JugéCourcelle's Theorem Made Dynamic.  Research Report 1702.05183, Computing Research Repository, February 2017. 14 pages. PDF | BibTeX )
M. González, O. Beaude, P. Bouyer, S. Lasaulce and N. MarkeyStratégies d'ordonnancement de consommation d'énergie en présence d'information imparfaite de prévisionIn GRETSI'17, September 2017. To appear. PDF | BibTeX )
S. HaddadMemoryless Determinacy of Finite Parity Games: Another Simple Proof.  Research Report hal-01541508, HAL-inria, June 2017. 7 pages. Web page | PDF | BibTeX )
P. GardySemantics of Strategy Logic.  Thèse de doctorat, Laboratoire Spécification et Vérification, ENS Cachan, France, June 2017. BibTeX )
T. Chatain and L. PaulevéGoal-Driven Unfolding of Petri NetsIn CONCUR'17, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, September 2017. To appear. BibTeX )

All the LSV publications