Automatic Verification of Biochemical Network using Model Checking Method
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 huge 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 CTL(Computational Tree Logic). This paper represents that model checking is feasible in biochemical network verification and it shows some advantages over simulation for querying and searching of special behavioral properties in biochemical processes.
Automatic verification Path networks Biological process Model checking CTL
Jinkyung Kim Il Moon
Department of Chemical Engineering,Yonsei University 134 Shinchon-dong,Seodaemun-gu,Seoul 120-749,KOREA
国际会议
西安
英文
2007-08-15（万方平台首次上网日期，不代表论文的发表时间）