bounded-model-checking topic
List
bounded-model-checking repositories
esbmc
288
Stars
92
Forks
Watchers
The efficient SMT-based context-bounded model checker (ESBMC)
sally
69
Stars
12
Forks
Watchers
A model checker for infinite-state systems.
FuSeBMC
43
Stars
6
Forks
Watchers
FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world C programs.
esbmc-ai
24
Stars
4
Forks
Watchers
Automated Code Repair suite powered by ESBMC and LLMs.