About Me
// Hello, World !
Top Answers
-
User Error: Prover 'alt-ergo' not found in why3.conf
11 votes
-
How to prove the functionality of a C stringCompare function with Frama-C?
6 votes
-
Is "less than" for rational numbers decideable in Coq?
5 votes
-
What does "Default behavior: tried with Frama-C kernel." mean?
3 votes
-
Frama-c WP and preconditions
3 votes