8 ms·
My rcc C compiler has a compile-time contracts and range/interval prover also. Needs -O3. For full formal proofs it's easier to use cbmc or esbmc though
by rurban 4d ago
My rcc C compiler has a compile-time contracts and range/interval prover also. Needs -O3.
For full formal proofs it's easier to use cbmc or esbmc though