--- layout: fc_discuss_archives title: Message 47 from Frama-C-discuss on October 2009 ---
Hi, There are two documents on ACSL 1.4 that are available from the Frama-C web site: - ACSL: ANSI/ISO C Specification Language Version 1.4 - Frama-C Beryllium implementation - ACSL: ANSI/ISO C Specification Language Preliminary design (version 1.4, October 29, 2008) What is the difference between the two? Regards, Boris