STP 1022

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

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

版本历史记录

  • 版本 simplifyingSTP%20r1022 发布于 2010-09-24
    若干修复和更新
  • 版本 simplifyingSTP r1022 发布于 2010-09-24

软件信息