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

[Frama-c-discuss] Frama-c



Dear all,

Thank you all for your help and pointers.


A 2009/11/27, ?s 11:24, Jens Gerlach escreveu:

> Hello Carlos,
> 
> I think there are various tutorials on the frama-c site that contain some interesting examples,
> I only mention:
> 
> http://frama-c.cea.fr/download/value-analysis-Beryllium-20090902.pdf
> 
> http://frama-c.cea.fr/jessie/jessie-tutorial.pdf
> 
> http://frama-c.cea.fr/download/acsl-tutorial.pdf
> 
> In the context of the DEVICE-SOFT project (http://www.first.fraunhofer.de/device_soft_en)
> my institute (Fraunhofer FIRST) and CEA-LIST will produce more introductory examples, e.g., 
> we plan to publish a document "ACSL by Example" in January 2010.
> 
> Carlos, do you plan to make results of your work available to other Frama-C users?


Part of my Master thesis work will be done in collaboration with a company (that will provide me the case study to verify).
My thesis report will be public and available, but I do not know if I will be authorized to disclose the whole verification project itself. 

If so I will be happy to share it!

Best regards,
Carlos


> 
> Regards
> 
> Jens
> 
> 
> 
>> Good morning
>> 
>> I'm a portuguese MsC student and i'm doing my thesis in Frama-C. The objective of the thesis is to verify a OS Kernel using the Frama-C. I will be happy if you can send a good number of examples of simple and complex examples of Frama-C verified programs.
>> Thanks in advance
>> 
>> Cheers,
>> Carlos Carloto
>> _______________________________________________
>> Frama-c-discuss mailing list
>> Frama-c-discuss at lists.gforge.inria.fr
>> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
> 
> 
> 
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss



-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20091202/0e9c5ad0/attachment.htm