STP 1022

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

關於 STP

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