Research prototype tool for modular formal verification of C and Java programsgithub.com/verifast3 pointsStreamBright8 years ago