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

[Frama-c-discuss] ACSL by Example (version 16.1.1 for Frama-C 16, Sulfur)



Dear Frama-C users,

The Verification Group at Fraunhofer FOKUS has released a new version (16.1.1) of “ACSL by Example”.
This version is intended for Frama-C 16 (Sulfur). Its source can be accessed through Github

            https://github.com/fraunhoferfokus/acsl-by-example

The PDF document can be directly accessed through

            https://github.com/fraunhoferfokus/acsl-by-example/blob/master/ACSL-by-Example.pdf

This is a minor release where we among other things


  *   fixed typos that were reported to us by Aaron Rocha (thanks!)
  *   fixed an unintended merging of contracts in the second version of binary_search
  *   updated the used provers

We hope this document helps you in your work with Frama-C/WP.

            On a more personal note, I would like to express my gratitude for the work of our
            long time co-author Dr. Jochen Burghardt who will retire at the end of March 2018.
            “ACSL by Example” could not have been maintained such a long time without his excellent work!

Regards

Jens Gerlach

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20180322/5ddebed0/attachment.html>