我們正在開發MIRAGE,生物通路模型的統計在線模型檢查器,基於PLTL形式主義來表達要檢查的規則/屬性。MIRACH 目前可以檢查 CSML 或 SBML 中寫入的路徑模型。
版本歷史記錄
- 版本 files 發佈於 2010-06-22
若干修復和更新 - 版本 N/A 發佈於 2010-06-22
軟體細節
- 軟體分類: 教育 > 其他
- 發佈者: mirach.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: Array
- 作業系統: windows
我們正在開發MIRAGE,生物通路模型的統計在線模型檢查器,基於PLTL形式主義來表達要檢查的規則/屬性。MIRACH 目前可以檢查 CSML 或 SBML 中寫入的路徑模型。