开发者 mirach.sf.net

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