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

[Frama-c-discuss] wp calculus



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