--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on December 2018 ---
Dear All, After Julien's habilitation thesis on Frama-C and E-ACSL, let me announce the defense of my habilitation thesis: /   Combinations of Analysis Techniques for Sound and Efficient Software Verification/ defended in November 2018 at CEA List. The thesis is available online at http://nikolai.kosmatov.free.fr/publications/kosmatov_habilitation_thesis.pdf Hopefully, it can be useful for readers interested in Frama-C and combined analysis techniques. Kind regards, Nikolai Le 10/09/2018 à 15:33, Julien Signoles a écrit : > 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 -- Nikolai KOSMATOV, PhD Software Safety Laboratory, CEA LIST Mail : CEA Saclay Nano-INNOV Institut CARNOT CEA LIST DILS/LSL, PC 174 91191 Gif-sur-Yvette Cedex, France Phone: +33 (0)1 69 08 71 83 Fax: +33 (0)1 69 08 83 95 Email: nikolai.kosmatov at cea.fr -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20181211/4c6188ec/attachment.html>