MIRACH: Efficient model checker for quantitative biological pathway models

Chuan Hock Koh, Masao Nagasaki, Ayumu Saito, Chen Li, Limsoon Wong, Satoru Miyano

Research output: Contribution to journalArticlepeer-review

6 Citations (Scopus)


Summary: Model checking is playing an increasingly important role in systems biology as larger and more complex biological pathways are being modeled. In this article we report the release of an efficient model checker MIRACH 1.0, which supports any model written in popular formats such as CSML and SBML. MIRACH is integrated with a Petri-net-based simulation engine, enabling efficient online (on-the-fly) checking. In our experiment, by using Levchenko et al. model, we reveal that timesaving gains by using MIRACH easily surpass 400% compared with its offline-based counterpart.

Original languageEnglish
Article numberbtq727
Pages (from-to)734-735
Number of pages2
Issue number5
Publication statusPublished - 2011 Mar

ASJC Scopus subject areas

  • Statistics and Probability
  • Biochemistry
  • Molecular Biology
  • Computer Science Applications
  • Computational Theory and Mathematics
  • Computational Mathematics


Dive into the research topics of 'MIRACH: Efficient model checker for quantitative biological pathway models'. Together they form a unique fingerprint.

Cite this