PROOF.
✓ PROOF OF QUALITY
> jsonparser11 issues caught
123
requirements
100%
MC/DC coverage
94%
formalized
163
hazards analyzed
Formal specMC/DCHazard analysisRealizabilityProperty-based
Proof Portal
Projects
jsonparser
ProbeLabs23 findings · 123 requirementsThe fastest JSON parser for Go — formally verified with ReqProof (real library, master).