Research prototype tool for modular formal verification of C and Java programsgithub.com3 points·StreamBright··0 commentsOpen articleSaveView on HN