--- layout: fc_discuss_archives title: Message 27 from Frama-C-discuss on January 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Pointer to Jessie input language semantics



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