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

Th. Chatain, S. Haar and L. PaulevéMost Permissive Semantics of Boolean Networks.  Research Report 1808.10240, Computing Research Repository, August 2018. 15 pages. Web page | PDF | BibTeX )
G. Barthe, X. Fan, J. Gancher, B. Grégoire, C. Jacomme and E. ShiSymbolic Proofs for Lattice-Based CryptographyIn CCS'18. ACM Press, October 2018. To appear. BibTeX )
D. Baelde, A. Lick and S. SchmitzDecidable XPath Fragments in the Real World, Preprint, 2018. Web page | BibTeX )
D. Baelde, A. Lick and S. SchmitzA Hypersequent Calculus with Clusters for Tense Logic over Ordinals, Preprint, 2018. Web page | BibTeX )
M. Függer and Th. NowakFast Multidimensional Asymptotic and Approximate ConsensusIn DISC'18, Leibniz International Proceedings in Informatics, pages 27:1-27:15. Leibniz-Zentrum für Informatik, October 2018. Web page | PDF (long version) | BibTeX )

All the LSV publications