Search Results - RepositoryStats

12

69

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

6

46

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 7 months ago

4

27

other

5

Automated Code Repair suite powered by ESBMC and LLMs.

ai bmc llm llms esbmc bounded-model-checking artificial-intelligence automated-program-repair

Created 2023-04-30

440 commits to master branch, last one 9 days ago