--- layout: fc_discuss_archives title: Message 27 from Frama-C-discuss on January 2011 ---
On Tue, 2011-01-18 at 12:49 +0000, Barbara Vieira wrote: > I'm working the Jessie plug-in from the Frama-C framework and I would like to know if somebody knows if there is any document specifying the semantics of the Jessie language. There's no Jessie specific language. The language used by Jessie is ACSL, which is documented on frama-c.com. -- Regards, Boris