--- layout: fc_discuss_archives title: Message 101 from Frama-C-discuss on June 2009 ---
On Mon, Jun 22, 2009 at 12:38 PM, Claude March?<Claude.Marche at inria.fr> wrote: > You can have a look at the other Frama-C plugin called "WP", which performs > wp computation directly at the C level, and is parameterized by several > possible memory models. I couldn't find the plugin in the frama-c sources, could you point me to it? thanks Mauro -- Computer science is no more about computers than astronomy is about telescopes - Edsger W. Dijkstra