--- layout: fc_discuss_archives title: Message 27 from Frama-C-discuss on May 2010 ---
Hi, I have created a small specification of code in ACSL to show the possibilities with deductive proof techniques (Jessie plugin) in the context of the project Hi-Lite. As I am now a simple Frama-C hobbyist, I'll be happy to receive your comments/suggestions. It is here: http://www.open-do.org/projects/hi-lite/a-lighter-introduction(bottom of the page) Thanks, -- Yannick -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100510/1e798756/attachment.htm>