MIRACH

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

我們正在開發MIRAGE,生物通路模型的統計在線模型檢查器,基於PLTL形式主義來表達要檢查的規則/屬性。MIRACH 目前可以檢查 CSML 或 SBML 中寫入的路徑模型。

版本歷史記錄

  • 版本 files 發佈於 2010-06-22
    若干修復和更新
  • 版本 N/A 發佈於 2010-06-22

軟體細節