in VMCAI 2008 pages 188–202. ACSL by Example, a well-documented collection of ACSL specifications of simple algorithms, is developed and maintained by the VerificationGroup at Fraunhofer FOKUS A tutorial about Frama-C with WP and ACSL for beginners that also provides some ideas about the theory behind the tools (available also in French). A report on using ACSL and Frama-C to formulate and verify low-level requirements in the context of a DO-178C compliant project Report mentioning the use of ACSL in teaching , Петренко Ольга Леонидовна and Хорошилов Алексей Владимирович. At Technikum Wien ACSL and Frama-C are taught in a course on design and verification. External links The complete ACSL specification is available from the download page of Frama-C. TSnippet from TrustInSoft allows for in-browser testing of C snippets using ACSL. Specification languages C (programming language)