A Logical Framework for Systems Biology

FMMB, pp. 136-155, 2014.

被引用0|引用|浏览2|
EI
其它链接dblp.uni-trier.de|academic.microsoft.com|arxiv.org
关键词
theorem provingbiological networkslinear logicsystems biologyformal verification更多(1+)

摘要

We propose a novel approach for the formal verification of biological systems based on the use of a modal linear logic. We show how such a logic can be used, with worlds as instants of time, as an unified framework to encode both biological systems and temporal properties of their dynamic behaviour. To illustrate our methodology, we con...更多

代码

数据

PDF 全文
您的评分 :
0

 

标签
评论