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

Th. Chatain and L. PaulevéGoal-Driven Unfolding of Petri NetsIn CONCUR'17, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, September 2017. To appear. BibTeX )
P. Bouyer, S. Haddad and V. JugéUnbounded product-form Petri netsIn CONCUR'17, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, September 2017. To appear. BibTeX )
B. Bollig, K. Quaas and A. SangnierThe Complexity of Flat Freeze LTLIn CONCUR'17, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, September 2017. To appear. BibTeX )
S. Akshay, P. Gastin, S. N. Krishna and I. SarkarTowards an Efficient Tree Automata based technique for Timed SystemsIn CONCUR'17, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, September 2017. To appear. BibTeX )
P. Bouyer, S. Jaziri and N. MarkeyOn the Determinization of Timed SystemsIn FORMATS'17. Springer, September 2017. To appear. BibTeX )

All the LSV publications