--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on October 2019 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] ACSL by Example (version 19.1.0 for Frama-C 19.1)



Dear Frama-C users,

Fraunhofer FOKUS has released a new version (19.1.0) of “ACSL by Example”.
This version is intended for Frama-C/WP 19.1.
The examples 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 we

	- updated to newer prover versions 
	- switched to the why3 interface of alt-ergo
	- updated some examples and introduced a few others (clamp, minmax_element, is_heap_until)

Please refer to the changes section for a more detailed description.

We hope that this version helps you in learning and applying Frama-C/WP!

Jens Gerlach