--- layout: fc_discuss_archives title: Message 53 from Frama-C-discuss on June 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Sources of ACSL by Example



Dear Frama-C users,

The verification group at Fraunhofer FOKUS has been maintaining a collection of algorithms specified with 
Frama-C’s specification language ACSL (see http://www.fokus.fraunhofer.de/download/acsl_by_example)
for several years.

We have been asked by various parties to provide access to the sources of our specifications and algorithms.
We have therefore set up a dedicated git repository 

	https://gitlab.fokus.fraunhofer.de/verification/open-acslbyexample.git

in which we put snap shots of our (non-public) development repository. 
Just clone this repository and go to the sub directory ‘StandardAlgorithms’.

The sources there correspond to the last published version 11.1.0 of ACSL by Example.

Regards

Jens Gerlach