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

J. Goubault-LarrecqA Non-Hausdorff Minimax TheoremMinimax Theory and its Applications 3(1), 2017. To appear. BibTeX )
M. Dzamonja, S. Schmitz and Ph. SchnoebelenOn the width of FAC orders, a somewhat rediscovered notion, Preprint, 2017. Web page | PDF | BibTeX )
P. BouyerGames on graphs with a public signal monitoring.  Research Report 1710.07163, Computing Research Repository, October 2017. 28 pages. PDF | BibTeX )
H. Mandon, S. Haar and L. PaulevéTemporal Reprogramming of Boolean NetworksIn CMSB'17, LNBI 10545, pages 179-195. Springer-Verlag, September 2017. PDF | BibTeX )
M. Blondin, A. Finkel and P. McKenzieHandling Infinitely Branching Well-structured Transition SystemsInformation and Computation, 2017. To appear. BibTeX )

All the LSV publications