STP 1022

軟體性質: 免費 ‎檔案大小: N/A
‎使用者評分: 2.8/5 - ‎14 ‎評分

STP(簡單定理證明器):一個約束求解器/決策程式,接受由程式分析/測試生成工具、模型檢查器、錯誤查找器、硬體/軟體正式驗證工具、智慧模糊器生成的公式或約束

版本歷史記錄

  • 版本 simplifyingSTP%20r1022 發佈於 2010-09-24
    若干修復和更新
  • 版本 simplifyingSTP r1022 發佈於 2010-09-24

軟體細節