theorem-labs/oss-verify-proofs
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
GitHub repository with 192 stars and 15 forks.
Language: Rocq Prover
Topics: formal-verification, fuzzing, oss-fuzz, proofs, riscv, rocq