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

[Frama-c-discuss] wp calculus



Mauro Baluda a ?crit :
> I'm looking for a tool able to calculate weakest preconditions for c
> statements given a postcondition
> I think frama-c does this internally through why, is it possible to
> interact with the precondition calculator programmatically or using
> the command line?

I cannot answer about WHY, but because I am developing a new WP plugin
for Frama-C, I am very interested by your question.
What kind of commands would you need ?
Is it to interact with another tool ?

Best regards,
-- 
Anne Pacalet.