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

S. Demri, A. Dhar and A. SangnierEquivalence Between Model-Checking Flat Counter Systems and Presburger ArithmeticTheoretical Computer Science, 2017. Special issue of RP'14, to appear. PDF | BibTeX )
V. Cortier, A. Dallon and S. DelauneA typing result for trace inclusion (for pair and symmetric encryption only).  Research Report hal-01615265, HAL, October 2017. Web page | PDF | BibTeX )
A. FinkelL'analyse cognitive, la psychologie numérique et la formation des enseignants à l'universitéPratiques Psychologiques 23(3), pages 303-323, 2017. Web page | PDF | BibTeX )
M. Függer, Th. Nowak and M. SchwarzBrief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic NetworksIn DISC'17, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, October 2017. Web page | BibTeX )
J. Goubault-Larrecq and K. M. NgA Few Notes on Formal BallsLogical Methods in Computer Science, 2017. Special Issue of the Domains XII Workshop, to appear. BibTeX )

All the LSV publications