我们正在开发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 中写入的路径模型。