Automatic Verification of Biochemical Network Using Model Checking Method

Jinkyung Kim; Younghee Lee; Il Moon

doi:10.1016/S1004-9541(08)60043-9

Your Location：

Home >

Browse articles >

Automatic Verification of Biochemical Network Using Model Checking Method

Updated：2026-01-06

- Automatic Verification of Biochemical Network Using Model Checking Method
- Automatic Verification of Biochemical Network Using Model Checking Method
- 中国化学工程学报（英文版） 2008年16卷第1期页码：90-94
- Affiliations：
  
  Department of Chemical Engineering, Yonsei University, 134 Shinchon-dong, Seodaemun,Seoul,gu,Korea,120-749
- Author bio：
- Funds：
- DOI：10.1016/S1004-9541(08)60043-9
  中图分类号：
- 纸质出版：2008
- Accepted：
Scan QR Code
Jinkyung Kim, Younghee Lee, Il Moon. Automatic Verification of Biochemical Network Using Model Checking Method[J]. 中国化学工程学报（英文版）, 2008,16(1):90-94.

Jinkyung Kim, Younghee Lee, Il Moon. Automatic Verification of Biochemical Network Using Model Checking Method[J]. , 2008, 16(1): 90-94.
Jinkyung Kim, Younghee Lee, Il Moon. Automatic Verification of Biochemical Network Using Model Checking Method[J]. 中国化学工程学报（英文版）, 2008,16(1):90-94. DOI： 10.1016/S1004-9541(08)60043-9.

Jinkyung Kim, Younghee Lee, Il Moon. Automatic Verification of Biochemical Network Using Model Checking Method[J]. , 2008, 16(1): 90-94. DOI： 10.1016/S1004-9541(08)60043-9.

摘要

Abstract

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 consid-erable amount of solutions

which is difficult to handle manually. Model checking is an automatic method for veri-fying 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.

关键词

Keywords

references

浏览量

1193

Downloads

CSCD

文章被引用时，请邮件提醒。

Submit

工具集

关联资源

Size-dependent decomposition behavior of limestone in fluidized bed calcination: Insights into fluidization, kinetics, and mechanisms

Understanding temperature-dependent degradation in proton exchange membrane water electrolyzer: The critical role of porous transport layer

A durable fluorine-free polyurethane-coated fabric with switchable super-wetting properties under mild pH conditions for controllable oil/water separation

Controllable synthesis of Ni3S2/V3S4@NF-xF(x=0, 4, 8) catalysts for efficient hydrogen production in seawater and urea electrolyte

Fluorinated poly(p-terphenyl isatin)-based anion exchange membranes with microphase-separated structures for water electrolysis