×

系统生物学的逻辑框架。 (英语) 兹比尔1402.92210

Fages,François(编辑)等人,宏观生物学中的形式方法。2014年9月22日至24日在新喀里多尼亚努美阿举行的2014年FMMB第一届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-10397-6/pbk)。计算机科学课程讲稿8738。生物信息学讲义,136-155(2014)。
摘要:我们提出了一种基于模态线性逻辑的生物系统形式验证的新方法。我们展示了如何使用这样的逻辑,将世界作为时间的瞬间,作为一个统一的框架来编码生物系统及其动态行为的时间属性。为了说明我们的方法,我们考虑了P53/Mdm2 DNA损伤修复机制的模型。我们证明了一些对于这样一个模型来说很重要的属性,以满足并说明我们的方法的承诺。我们在Coq Proof Assistant中形式化了这些属性的证明,借助于Lambda Prolog证明程序实现了证明的部分自动化。
关于整个系列,请参见[兹比尔1316.92006].

MSC公司:

92立方厘米 系统生物学、网络
92C40型 生物化学、分子生物学
03B45号 模态逻辑(包括规范逻辑)
03楼52 线性逻辑和其他子结构逻辑的理论证明
PDF格式BibTeX公司 XML格式引用