--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on February 2008 ---
Hello, I discovered Frama-C through messages on Why's mailing list. Is there any paper describing the GNU GPL framework, the API of plugins, and the "ACSL" language? The only document I found is http://www-spi.lip6.fr/~jaume/VP_25_09.pdf . Which plugin will be released as Free Software? Any release date planned? Sincerely yours, david