verifast / verifast
Research prototype tool for modular formal verification of C, Rust and Java programs
- Repository stars
- 528All-time #59,750
- Fork
- 80
- Last push
- updated 28 days ago
- Repository created
- since 2013
About
Research prototype tool for modular formal verification of C, Rust and Java programsSummarised by AI from the README; the original prevails
Author description: Research prototype tool for modular formal verification of C, Rust and Java programs
Basic listing based on official public information; functionality has not been independently evaluated.
Check before adopting
- No license declared: commercial use and redistribution terms are unknown.
- Pricing
- Pricing not verifiedCheck current official software, hosting, model and infrastructure pricing.