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

M. Fortin, A. Muscholl and I. WalukiewiczModel-checking linear-time properties of parametrized asynchronous shared-memory pushdown systemsIn CAV'17, LNCS. Springer, July 2017. To appear. Web page | BibTeX )
A. Finkel and É. LozesSynchronizability of Communicating Finite State Machines is not DecidableIn ICALP'17, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, July 2017. To appear. Web page | BibTeX )
G. DowekModels and termination of proof reduction in the λΠ-calculus modulo theoryIn ICALP'17, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, July 2017. To appear. BibTeX )
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 )

All the LSV publications