--- layout: fc_discuss_archives title: Message 25 from Frama-C-discuss on May 2012 ---
Hi, I just discovered the language C0 used at CMU for teaching first year students: http://c0.typesafety.net/doc/c0-reference.pdf They seem to use annotations similar to ACSL, although I've not looked at the details. Just in case this was not yet presented previously. -- Yannick Moy, Senior Software Engineer, AdaCore