--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on September 2018 ---
Hello, I am glad to announce that my Habilitation Thesis (defended in July) is now available online: http://julien.signoles.free.fr/publis/hdr.pdf Its title is From Static Analysis to Runtime Verification with Frama-C and E-ACSL I hope that it can be useful for researchers and engineers who would like to have a better understanding of these tools. Best regards, Julien Signoles -- Researcher-engineer CEA LIST, Software Security Labs tel:(+33)1.69.08.00.18 fax:(+33)1.69.08.83.95 Julien.Signoles at cea.fr