STP(简单定理证明器):一个约束求解器/决策程序,接受由程序分析/测试生成工具、模型检查器、错误查找器、硬件/软件正式验证工具、智能模糊器生成的公式或约束
版本历史记录
- 版本 simplifyingSTP%20r1022 发布于 2010-09-24
若干修复和更新 - 版本 simplifyingSTP r1022 发布于 2010-09-24
软件信息
- 软件分类: 发展 > 其他
- 发布者: sites.google.com/site/stpfastprover/
- 许可: 免费
- 价格: N/A
- 版本: 1022
- 适用平台: linux