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

D. Baelde, A. Lick and S. SchmitzA Hypersequent Calculus with Clusters for Linear FramesIn AiML'18. College Publications, August 2018. To appear. BibTeX )
S. Demri and R. FervariOn the complexity of modal separation logicsIn AiML'18. College Publications, August 2018. To appear. BibTeX )
F. GilbertExtending higher-order logic with predicate subtyping.  Thèse de doctorat, Université Paris 7, Paris, France, April 2018. PDF | BibTeX )
G. BurelLinking Focusing and Resolution with Selection.  Research Report hal-01670476, HAL Research Report, April 2018. Web page | PDF | BibTeX )
M. Függer, Th. Nowak and M. SchwarzTight Bounds for Asymptotic and Approximate ConsensusIn PODC'18. ACM Press, July 2018. To appear. Web page | PDF (long version) | BibTeX )

All the LSV publications