--- layout: fc_discuss_archives title: Message 53 from Frama-C-discuss on June 2015 ---
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