MIRACH 1.0

:: DESCRIPTION

MIRACH , a Statistical Online Model Checker for Biological Pathway Models, based on the PLTLs formalism for expressing the rules/properties to be checked. MIRACH can currently check pathways models written either in CSML or SBML.

::DEVELOPER

Computational Biology Laboratory, School of Computing, National University of Singapore

:: SCREENSHOTS

N/A

:: REQUIREMENTS

• Windows / Linux / MacOsX
• Java

:: DOWNLOAD

 MIRACH

:: MORE INFORMATION

Citation:

MIRACH: efficient model checker for quantitative biological pathway models.
Koh CH, Nagasaki M, Saito A, Li C, Wong L, Miyano S.
Bioinformatics. 2011 Mar 1;27(5):734-5. doi: 10.1093/bioinformatics/btq727. Epub 2011 Jan 5.