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