MIRACH

许可: 免费 ‎文件大小: N/A
‎用户评分: 3.0/5 - ‎1 ‎评分

我们正在开发MIRAGE,生物通路模型的统计在线模型检查器,基于PLTL形式主义来表达要检查的规则/属性。MIRACH 当前可以检查 CSML 或 SBML 中写入的路径模型。

版本历史记录

  • 版本 files 发布于 2010-06-22
    若干修复和更新
  • 版本 N/A 发布于 2010-06-22

软件信息