论文部分内容阅读
这研究集中于用模型检查的在生物过程的所有可能的路径的为活动范围能力,转变逻辑和层次结构的方法的自动寻找并且验证。为在在生物过程的复杂、大的网络以内的其他的路径的自动搜索和确认能提供解决方案的可观的数量,它是困难的手工地处理。模型检查是为如果,验证的一个自动方法一个电路或一个条件,表示了为一个并发的转变系统,满足在时间的逻辑表示的一套性质,例如计算的树逻辑(CTL ) 。这篇文章表示模型检查在生物化学的网络确认是可行的,它为在生化法特殊行为的性质查询并且寻找在模拟上显示出某些优点。