AI & 大模型
Esbmc验证
@esbmc-verification
ESBMC（基于 SMT 的高效上下文绑定模型检查器）检测 C、C++、CUDA、CHERI-C、Python、Solidity、Java 和 Kotlin 程序中的错误或证明其不存在。
包含技能
1 个Esbmc验证
@esbmc/agent-marketplace/esbmc-verification
ESBMC（基于 SMT 的高效上下文绑定模型检查器）检测 C、C++、CUDA、CHERI-C、Python、Solidity、Java 和 Kotlin 程序中的错误或证明其不存在。