Research prototype tool for modular formal verification of C and Java programs
Why do you think that https://github.com/correctcomputation/checkedc-clang is a good alternative to verifast
Research prototype tool for modular formal verification of C and Java programs
Why do you think that https://github.com/correctcomputation/checkedc-clang is a good alternative to verifast