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

[Frama-c-discuss] Frama-C Examples



Hello Jens,

2009/11/27 Jens Gerlach <jens.gerlach at first.fraunhofer.de>:
> 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.

That's quite interesting. I'm looking forward to reading it.

Regards,
david