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

[Frama-c-discuss] Jessie-documentation



For reference to the implementation of Jessie/Why, I recommend:

1) Yannick Moy's PhD thesis, defended last January: 
http://www.lri.fr/~marche/moy09phd.pdf

2) Lecture notes and exercices for Krakatoa's lecture given at the FVOOS 
Winter school :
http://krakatoa.lri.fr/ws

Hope this helps,

- Claude

Christoph Weber wrote:
> Hello,
> 
> I would like to know where I could find documentation about Jessie, e.g., information about the plugin itself and not about its usage.
> 
> 
> Cheers
> 
> Christoph
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss

-- 
Claude March?                          | tel: +33 1 72 92 59 69
INRIA Saclay - ?le-de-France           | mobile: +33 6 33 14 57 93
Parc Orsay Universit?                  | fax: +33 1 74 85 42 29
4, rue Jacques Monod - B?timent N      | http://www.lri.fr/~marche/
F-91893 ORSAY Cedex                    |