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

More

Publications
Software
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. HalfonOn Effective Representations of Well Quasi-Orderings.  Thèse de doctorat, École Normale Supérieure Paris-Saclay, France, June 2018. BibTeX )
P. Gastin, S. Mukherjee and B. SrivathsanReachability in timed automata with diagonal constraintsIn CONCUR'18, Leibniz International Proceedings in Informatics 118. Leibniz-Zentrum für Informatik, September 2018. To appear. BibTeX )
B. Bollig, M. Fortin and P. GastinIt Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with ''Happened Before''In CONCUR'18, Leibniz International Proceedings in Informatics 118. Leibniz-Zentrum für Informatik, September 2018. To appear. PDF (long version) | BibTeX )
B. Bérard, P. Bouyer and V. JugéFinite bisimulations for dynamical systems with overlapping trajectoriesIn CSL'18, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, September 2018. To appear. BibTeX )
R. Chane-Yack-Fa, M. Frappier, A. Mammar and A. FinkelParameterized Verification of Monotone Information SystemsFormal Aspects of Computing, 2018. To appear. BibTeX )

All the LSV publications