verifast/verifast

Research prototype tool for modular formal verification of C, Rust and Java programs

3 best points · 0 comments · 2 Hacker News posts · 528 GitHub stars · View on GitHub

Hacker News discussions

• Research prototype tool for modular formal verification of C and Java programs (3 points, 0 comments, by StreamBright, 2018-01-24)
• VeriFast (2 points, 0 comments, by skibz, 2021-02-19)