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.
Advertisement
::DEVELOPER
Computational Biology Laboratory, School of Computing, National University of Singapore
:: SCREENSHOTS
N/A
:: REQUIREMENTS
- Windows / Linux / MacOsX
- Java
:: DOWNLOAD
:: 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.