https://github.com/verifast/verifast
Rust360
19 days ago
Research prototype tool for modular formal verification of C and Java programs
Other