--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on December 2010 ---
Dear Frama-C users, The Frama-C team is proud to announce its new beta-release of the platform, named Carbon ! You can download the Carbon-20101202-beta2 source distribution at http://www.frama-c.com/download.html , enjoy ! Binary release will come soon, and we expect a final Carbon release in early 2011. Most important changes: - New plug-in WP for verifying ACSL annotation by weakest-precondition calculus (http://www.frama-c.com/wp.html) - Several improvements in Value Analysis - Major changes in the Kernel (several modified API, please consult the change log) Best regards, Lo?c Correnson.