title: MIRACH: efficient model checker for quantitative biological pathway models.
abstract: 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.
  
  
  METHODS
  MIRACH 1.0 was developed using Java and thus executable on any platform installed with JDK 6.0 (not JRE 6.0) or later. MIRACH 1.0, along with its source codes, documentation and examples are available at http://sourceforge.net/projects/mirach/ under the LGPLv3 license.
authors.affiliation: NUS Graduate School for Integrative Sciences and Engineering, Singapore, Singapore.
authors.forename: Chuan Hock
authors.initials: CH
authors.lastname: Koh
authors.forename: Masao
authors.initials: M
authors.lastname: Nagasaki
authors.forename: Ayumu
authors.initials: A
authors.lastname: Saito
authors.forename: Chen
authors.initials: C
authors.lastname: Li
authors.forename: Limsoon
authors.initials: L
authors.lastname: Wong
authors.forename: Satoru
authors.initials: S
authors.lastname: Miyano
mesh_terms: D000465:Algorithms; D016001:Confidence Intervals; D008954:Models, Biological; D015233:Models, Statistical; D012984:Software; D049490:Systems Biology / Q000379:methods*