2 results found Sort:

SRI-CSL
sally SRI-CSL
12
68
gpl-2.0
13
A model checker for infinite-state systems.
ic3 k-induction verification model-checker transition-systems bounded-model-checking
Created 2014-10-03
942 commits to master branch, last one 3 years ago
kaled-alshmrany
FuSeBMC kaled-alshmrany
6
44
mit
6
FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world C programs.
tracer fuzzing smart-seeds selective-fuzzer bounded-model-checking
Created 2020-04-22
335 commits to master branch, last one 5 months ago