GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ bounded-model-checking
Top 1 bounded-model-checking open source projects
FuSeBMC
FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world C programs.
✭ 26
c
C++
python
shell
Makefile
CMake
fuzzing
tracer
bounded-model-checking
smart-seeds
selective-fuzzer
1-1
of
1
bounded-model-checking projects