More
the scientific report for the 5-year contract 2014--2018 [in French]
the LSV book:
Systems and Software Verification.
Model-Checking Techniques and Tools
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 and PhD proposals are regularly posted by LSV researchers on our themes.
the scientific report for the 5-year contract 2014--2018 [in French]
the LSV book:
Systems and Software Verification.
Model-Checking Techniques and Tools