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

[Frama-c-discuss] ACSL by Example (version 20.0.0 for Frama-C 20.0)



Dear Frama-C users,

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

We would like to thank the Frama-C team and in particular Allan Blanchard for supporting us
when switching to Frama-C 20

	- updated to newer tool versions 
	- switch from memory model ’Typed+Ref’ to ’Typed’
	- updated some examples and introduced ‘bubble_sort’
	- improved the verification rate of numeric algorithms

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