David Delmas

Fan-C , a Frama-C plug-in for data flow verification

Victoria Moya Lamiel, Pascal Cuoq, David Delmas, 2011 .

Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software

Antoine Miné, David Delmas, A. Miné, 2015, 2015 International Conference on Embedded Software (EMSOFT).

Astrée: From Research to Industry

Jean Souyris, David Delmas, David Delmas, 2007, SAS.

Analysis of Software Patches Using Numerical Abstract Interpretation

Antoine Miné, David Delmas, A. Miné, 2019, SAS.