Research prototype tool for modular formal verification of C and Java programs
Primary LanguageOCamlOtherNOASSERTION