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] "ACSL by Example" for Sodium

  • Subject: [Frama-c-discuss] "ACSL by Example" for Sodium
  • From: jens.gerlach at (Gerlach, Jens)
  • Date: Thu, 19 Mar 2015 13:22:02 +0000

Dear Frama-C users,

the verification group at Fraunhofer FOKUS is pleased to announce a new version of ?ACSL by Example?.
You can download it from

The examples have been verified with the Sodium release of Frama-C.
Thanks a lot to the Frama-C team for giving us access to a release candidate of Sodium and for answering our questions.
We would like to thank, particularly, Patrick Baudin who pointed out that some of the WP-options
we used are already included in -wp-rte. 
On Page 4 there is an overview of the changes for this version.

During the Frama-C Day ( at CEA LIST, 
I met several people who use ?ACSL by Example? for teaching or in their research.
Please write us about your experience with ACSL by Example and let us know (jens.gerlach at
about your suggestions for future releases.


Jens Gerlach