3 ms·Research prototype tool for modular formal verification of C and Java programs3 points by StreamBright 9y ago