--- layout: fc_discuss_archives title: Message 60 from Frama-C-discuss on June 2009 ---
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? thanks, Mauro -- Computer science is no more about computers than astronomy is about telescopes - Edsger W. Dijkstra