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. Berwanger and M. van den BogaardConsensus Game Acceptors and Iterated TransductionsInternational Journal of Foundations of Computer Science 29(02), pages 165-185, February 2018. Web page | PDF | BibTeX )
V. Dave, P. Gastin and S. N. KrishnaRegular Transducer Expressions for Regular TransformationsIn LICS'18. IEEE Press, July 2018. To appear. Web page | PDF | BibTeX )
J. Kolcák, D. Šafránek, S. Haar and L. PaulevéParameter Space Abstraction and Unfolding Semantics of Discrete Regulatory NetworksTheoretical Computer Science, 2018. To appear. Web page | PDF | BibTeX )
Th. Chatain, S. Haar and L. PaulevéBeyond Generalized AsynchronicityIn AUTOMATA'18, LNCS. Springer, June 2018. To appear. BibTeX )
O. Carton, B. Guillon and F. ReiterCounter Machines and Distributed AutomataIn AUTOMATA'18, LNCS. Springer, June 2018. To appear. BibTeX )

All the LSV publications