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

[Frama-c-discuss] Thesis about Frama-C and E-ACSL



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