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

[Frama-c-discuss] Verifying recursive functions



Hello Claude,

I've submitted a bug report https://gforge.inria.fr/tracker/index.php?func=detail&aid=7528&group_id=1123&atid=5488

My goal here was to experiment with recursive functions. Spec# was unable to verify the factorial function I posted previously, so I was interested to explore Frama-C's capabilities.

- Boris