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. Halfon, Ph. Schnoebelen and G. ZetzscheDecidability, complexity, and expressiveness of first-order logic over the subword orderingIn LICS'17. IEEE Press, June 2017. To appear. Web page | BibTeX )
Th. Colcombet, M. Jurdziński, R. Lazić and S. SchmitzPerfect Half Space GamesIn LICS'17. IEEE Press, June 2017. To appear. BibTeX )
P. O'Hanlon, R. Borgaonkar and L. HirschiMobile subscriber WiFi privacyIn Proceedings of Mobile Security Technologies (MoST'17), held as part of the IEEE Computer Society Security and Privacy Workshops, San Jose, CA, USA, May 2017. 2017. To appear. PDF | BibTeX )
S. Haar, S. Perchy and F. ValenciaD-SPACES: Implementing Declarative Semantics for Spatially Structured InformationIn ICSC'17, IEEE ICSC 11. IEEE Press, January 2017. Web page | PDF | BibTeX )
M. Guzman, S. Haar, S. Perchy, C. Rueda and F. ValenciaBelief, Knowledge, Lies and Other Utterances in an Algebra for Space and Extrusion 86(1), pages 107-133, 2017. Web page | PDF | BibTeX )

All the LSV publications