--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on March 2008 ---
Dear list members, It is my pleasure to announce the availability of the first release of the ANSI/ISO C Specification Language (ACSL) design document. You may download a PDF on http://www.frama-c.cea.fr/acsl.html Do not hesitate to send comments or remarks. The first release of Frama-C source code is expected by the end of the week. Cheers, -- | Benjamin Monate | mailto:benjamin.monate@cea.fr | | Ing?nieur-Chercheur | CEA-LIST/DRT/DTSI/SOL/LSL | | B?t. 528 Pt. 115a | 91191 Gif-sur-Yvette CEDEX | | T?l. 01 69 08 94 09 | Fax : 01 69 08 83 95 |