--- layout: fc_discuss_archives title: Message 40 from Frama-C-discuss on December 2013 ---
Dear Frama-C users, the Verification Group at Fraunhofer FOKUS is pleased to announce a new release of? ACSL by Example?. We hope that this collections of ACSL specifications (including loop annotations) will help you to become a proficient user of Frama-C. You can download it from http://www.fokus.fraunhofer.de/en/sqc/forschungsthemen/verifikation/index.html or directly through http://www.fokus.fraunhofer.de/de/sqc/_download_sqc/ACSL-by-Example.pdf We would like to thank the Frama-C team at CEA LIST for their support. Regards Jens Gerlach