adilanwar2399/ESBMC-ibmc
The ESBMC ibmc (Invariant Based Model Checking) Tool.
No commits in the last 6 months.
Stars
6
Forks
2
Language
C
License
—
Category
Last pushed
Apr 15, 2025
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/adilanwar2399/ESBMC-ibmc"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
THU-WingTecher/LSPRAG
Real-time multi-language unit test generation tool via LSP
metareflection/dafny-replay
Verified kernels, written in Dafny and compiled to JavaScript, for correct-by-construction state...
santinic/unvibe
Generate correct code from unit-tests
bigcode-project/bigcodearena
BigCodeArena: Unveiling More Reliable Human Preferences in Code Generation via Execution
mpuodziukas-labs/cobol-demo
COBOL modernization: LLMs introduce bugs, humans validate. Production-grade analysis tooling.