Automatic Verification of Biochemical Network Using Model Checking Method

Jinkyung Kim, Younghee Lee, Il Moon

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish
Pages (from-to)90-94
Number of pages5
JournalChinese Journal of Chemical Engineering
Issue number1
Publication statusPublished - 2008 Feb

All Science Journal Classification (ASJC) codes

  • Environmental Engineering
  • Biochemistry
  • Chemistry(all)
  • Chemical Engineering(all)


Dive into the research topics of 'Automatic Verification of Biochemical Network Using Model Checking Method'. Together they form a unique fingerprint.

Cite this