esbmc/esbmc

高效的基于 SMT 的上下文有界模型检查器 (ESBMC)

↗ 在 GitHub 打开

星数

518

Fork 数

144

语言

C++

许可

NOASSERTION

最后推送

19小时前

C++python kotlin cpp c automated-testing automated-verification bmc cheri cp-solver incremental-learning k-induction smt-solver solidity-contracts

还没有相关情报

radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。