bounded-model-checking topic
List
bounded-model-checking repositories
esbmc
255
Stars
87
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
42
Stars
5
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
15
Stars
4
Forks
Watchers
Automated Code Repair suite powered by ESBMC and LLMs.