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

W. K. Ho, J. Goubault-Larrecq, A. Jung and X. XiThe Ho-Zhao ProblemLogical Methods in Computer Science 14(1), pages 1-19, January 2018. Web page | PDF | BibTeX )
Th. Chatain, M. Comlan, D. Delfieu, L. Jezequel and O. H. RouxPomsets and Unfolding of Reset Petri NetsIn LATA'18, LNCS. Springer, April 2018. To appear. BibTeX )
S. HaddadMemoryless determinacy of finite parity games: Another simple proofInformation Processing Letters 132, pages 19-21, April 2018. PDF | BibTeX )
S. Demri, É. Lozes and A. MansuttiThe Effects of Adding Reachability Predicates in Propositional Separation LogicIn FoSSaCS'18, LNCS. Springer, April 2018. To appear. BibTeX )
P. BouyerGames on graphs with a public signal monitoringIn FoSSaCS'18, LNCS. Springer, April 2018. To appear. Web page | BibTeX )

All the LSV publications