STATOR - ERC project 2013 -2017 STATOR is a “starting investigator grant” from the European Research Council (https://erc.europa.eu/).
ARAMIS - PIA 2014-2018 Architecture Robuste pour les Automates et Matériels des Infrastructures Sensibles
BINSEC - ANR 2013-2017 BINary code analysis for SECurity
CASERM - Persyval-Lab Equipe-Action 2016-2019 CASERM : Design and Analysis of Reconfigurable Multi-view Embedded Systems
SERTIF - ANR ASTRID 2014-2016 Simulation pour l'Evaluation de la RobusTesse des applications embarquéesà l'Injection de Fautes
VECOLIB - ANR Project 2014 - 2018 VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries)
VOCaL - The Verified OCaml Library
Our project aims at developing the first mechanically verified library of efficient general-purpose data structures and algorithms. This may come as a surprise, but there does not currently exist any verified library of significant size in any programming language. In the recent decades, a lot of effort has been invested into the development of program verification tools for mainstream languages such as C or Java, including efforts by members of our teams. These efforts have been successful (...)