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
- Chinese Journal of Chemical Engineering Vol. 16, Issue 1, Pages: 90-94(2008)
- 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
  CLC：
- Published：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.
DOI：

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

Views

1193

Downloads

CSCD

Alert me when the article has been cited

Submit

Tools

Publicity Resources

Experimental and numerical studies of holdup and velocity behavior for inclined bubbly oil-water pipe flows

Tailoring the molecular structure of cross-linked poly(ethylene oxide) membranes for enhanced CO2 permeation

Bubble dispersion intensification via flow guidance and drainage in a bubble column with internals

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

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

Related Author

No data

Related Institution

No data

⁰