STP 1022

许可: 免费 ‎文件大小: N/A
‎用户评分: 2.8/5 - ‎14 ‎评分

关于 STP

STP(简单定理证明器):一个约束求解器/决策程序,接受由程序分析/测试生成工具、模型检查器、错误查找器、硬件/软件正式验证工具、智能模糊器生成的公式或约束