jpc0/provably-correct-software
Build provably correct software using formal methods like Hoare Logic, Weakest Preconditions, and Design-by-Contract.
99
1.45x
Quality
100%
Does it follow best practices?
Impact
99%
1.45xAverage score across 5 eval scenarios
Securityby
Passed
No known issues
No security issues found
Scanned
- Audited
- Security analysis