--- layout: fc_discuss_archives title: Message 35 from Frama-C-discuss on September 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] New version of ACSl by Example



Dear Frama-C Users,

Fraunhofer FOKUS has just provided an updated version of  ?ACSL by Example?.
The new version is accessible through  http://www.fokus.fraunhofer.de/de/sqc/_download_sqc/ACSL-by-Example.pdf

It works with Frama-C Neon and includes the following changes

	? remove additional labels in the assumes clauses of some stack function that were necessary due to an error in Oxygen

	? provide a second version of remove_copy (see Sections 6.9 and 6.10) in order to explain the specification of the stability of the algorithms

	? coarsen loop assigns of mutating algorithms

	? temporarily remove the unique_copy algorithm


Regards

Jens Gerlach

Head of Verification Group
Fraunhofer FOKUS
Berlin, Germany