--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on March 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] ACSL Release 1.2



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              |