--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on February 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] More information about Frama-C?



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