FICHA · AUR
genmc
Generic model checker for concurrent C programs
- model-checker
- CLI
- DEVELOPER-TOOL
- VERIFICATION
- Launchable
- Runs in terminal
· official+codex · reviewed · May 31, 2026 description in en
Concurrent C programs can be model checked to find possible synchronization and memory-ordering problems.
This is formal verification tooling. It is useful for developers and researchers, but results depend on the modeled program and assumptions.
How to run
genmc
Commands: genmc
Permissions
Permissions not analysed for this source yet.