--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on August 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] combining value analysis and deductiveverification by jessie



Hi Stephane,

>...
>This is a good collaboration of the different plugins.

>But theses operations have been made in 2 independent steps that are
>value analysis and proof with jessie.

>...
>If not, do you think it's conceivable ?

Your assessment of what Frama-C currently provides,
and what it should provide in terms of fine-grained 
collaboration between plug-ins, is perfectly correct.

The bas news is that the fine-grained collaboration between
plug-ins is not done yet. The good news is that we will not
consider the Frama-C project completed until it is done.
This will indeed be one of the key features
of Frama-C Fe (or thereabout) :)

Pascal