--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on March 2015 ---
Dear all, It has been mentioned during the Frama-C day that better ACSL specifications concerning the standard C library would be useful to the platform. I would like to find out about existing public repositories with such specifications, to have an idea of the kind of specifications that are used, and also their level of detail. An example would be kLIBC, a subset of the C standard library with an annotated implementation. I am also interested in pure specifications, without an underlying implementation. Regards, Andr? Oliveira -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150318/e60b6569/attachment.html>