Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Thesis about combinations of analysis techniques in Frama-C

  • Subject: [Frama-c-discuss] Thesis about combinations of analysis techniques in Frama-C
  • From: nikolay.kosmatov at (Nikolai Kosmatov)
  • Date: Tue, 11 Dec 2018 07:56:32 +0100
  • In-reply-to: <>
  • References: <>

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

Hopefully, it can be useful for readers interested in Frama-C and 
combined analysis techniques.

Kind regards,


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:
> 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

Software Safety Laboratory, CEA LIST
Mail : CEA Saclay Nano-INNOV
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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>