QinxiangCao/QualifiedCProgramming

QCP (Qualified C Programming), a C program verification tool

Open on GitHub

42Stars on the repository

7Mods indexed here, across every type

11d agoLast push, which is what freshness is scored on

MITLicence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

QualifiedCProgramming AGENTS.md

QinxiangCao/QualifiedCProgramming

Instructions file CodexOpenCode

Repository instructions for verifying C programs through annotations, symbolic execution, manual verification conditions, and Rocq proofs. Rocq is a system for formally checking mathematical and program-correctness proofs.

42 11d ago A 4,998 tokens original MIT