Habilitation Thesis

The defense of my Habilitation Thesis held on the 9th of July 2018. For those who are not familiar with the French academic system, Wikipedia is your friend.

The title of my thesis is From Static Analysis to Runtime Verification with Frama-C and E-ACSL. My memoir and my French curriculum are available.

The examination board consisted of:

Last modification the Monday September 10th, 2018 at 15h17min39sec (Paris time).