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

M. F. Atig, B. Bollig and P. HabermehlEmptiness of ordered multi-pushdown automata is 2ETIME-completeInternational Journal of Foundations of Computer Science, 2017. To appear. BibTeX )
S. Demri, D. Kapur and C. Weidenbach (eds.)Special Issue of Selected Extended Papers of IJCAR 2014Journal of Automated Reasoning 58(1), 2017. Web page | BibTeX )
F. ThiréReverse engineering on arithmetic proofs.  Rapport de Master, Master Parisien de Recherche en Informatique, Paris, France, August 2016. 26 pages. Web page | PDF | BibTeX )
P. Arrighi, S. Martiel and S. PerdrixReversible Causal Graph DynamicsIn RC'16, LNCS 9720, pages 73-88. Springer, July 2016. Web page | BibTeX )
R. CauderlierA Rewrite System for Proof ConstructivizationIn LFMTP'16, pages 2:1-2:7. ACM Press, June 2016. Web page | PDF | BibTeX )

All the LSV publications