Automatic Verification of Biochemical Network Using Model Checking Method

详细信息    查看全文

• 作者：Jinkyung Kim ; Younghee Lee ; Il Moon
• 关键词：automatic verification ; path networks ; biological process ; model checking ; computational tree logic
• 刊名：Chinese Journal of Chemical Engineering
• 出版年：2008
• 出版时间：February 2008
• 年：2008
• 卷：16
• 期：1
• 页码：90-94
• 全文大小：543 K

文摘

This study focuses on automatic searching and verifying methods for the reachability, transition logics and hierarchical structure in all possible paths of biological processes using model checking. The automatic search and verification for alternative paths within complex and large networks in biological process can provide a considerable amount of solutions, which is difficult to handle manually. Model checking is an automatic method for verifying if a circuit or a condition, expressed as a concurrent transition system, satisfies a set of properties expressed in a temporal logic, such as computational tree logic (CTL). This article represents that model checking is feasible in biochemical network verification and it shows certain advantages over simulation for querying and searching of special behavioral properties in biochemical processes.