3 results found Sort:
A model checker for infinite-state systems.
Created
2014-10-03
942 commits to master branch, last one 3 years ago
FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world C programs.
Created
2020-04-22
335 commits to master branch, last one 7 months ago
Automated Code Repair suite powered by ESBMC and LLMs.
Created
2023-04-30
439 commits to master branch, last one 18 hours ago