General Information
| Description | Efficient model checker for quantitative biological pathway models |
| Homepage | http://sourceforge.net/projects/mirach/ |
Publications
MIRACH: efficient model checker for quantitative biological pathway models
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.
Availability and implementation:
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.
Contact:
masao@ims.u-tokyo.ac.jp
Supplementary information:
Supplementary data are available at Bioinformatics online.
Related Tools
DA 1.0
Published May 2010
Parameter estimation of biological pathways using data assimilation approach
Standard virtual biological parts
Published February 2010
A repository of modular modeling components for synthetic biology
The Infobiotics Workbench
Published October 2011
An integrated in silico modelling platform for Systems and Synthetic Biology
FAIR Evaluation
Sorry, you must be signed in to evaluate this object.
