--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on December 2018 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



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>