MIRACH: efficient model checker for quantitative biological pathway models

被引：6

作者：

Koh, Chuan Hock ^{[1
,2
,3
]}

Nagasaki, Masao ^{[1
]}

Saito, Ayumu ^{[1
]}

Li, Chen ^{[1
]}

Wong, Limsoon ^{[3
]}

Miyano, Satoru ^{[1
]}

机构：

[1] Univ Tokyo, Inst Med Sci, Ctr Human Genome, Minato Ku, Tokyo 1088639, Japan

[2] NUS Grad Sch Integrat Sci & Engn, Singapore 117597, Singapore

[3] Natl Univ Singapore, Sch Comp, Singapore 117417, Singapore

来源：

BIOINFORMATICS | 2011年 / 27卷 / 05期

基金：

新加坡国家研究基金会;

关键词：

PARAMETER-ESTIMATION;

D O I：

10.1093/bioinformatics/btq727

中图分类号：

Q5 [生物化学];

学科分类号：

071010 ; 081704 ;

摘要：

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.

引用

页码：734 / 735

页数：2

共 50 条

[1] Quantitative Analysis With the Probabilistic Model Checker PRISM
Kwiatkowska, Marta
Norman, Gethin
Parker, David
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 153 (02) : 5 - 31
[2] Generating efficient test sets with a model checker
Hamon, G
de Moura, L
Rushby, J
PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2004, : 261 - 270
[3] PARAM: A Model Checker for Parametric Markov Models
Hahn, Ernst Moritz
Hermanns, Holger
Wachter, Bjoern
Zhang, Lijun
COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 660 - +
[4] GENMC: A Model Checker for Weak Memory Models
Kokologiannakis, Michalis
Vafeiadis, Viktor
COMPUTER AIDED VERIFICATION (CAV 2021), PT I, 2021, 12759 : 427 - 440
[5] TSMV: A symbolic model checker for quantitative analysis of systems
Markey, N
Schnoebelen, P
QEST 2004: FIRST INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, PROCEEDINGS, 2004, : 330 - 331
[6] SYMTC: An efficient symbolic model checker for embedded systems
Department of Computer Science, University of Annaba, Bp. 12, Annaba, Algeria
Inf. Technol. J., 2006, 1 (144-148):
[7] An efficient statistical model checker for nondeterminism and rare events
Budde, Carlos E.
D'Argenio, Pedro R.
Hartmanns, Arnd
Sedwards, Sean
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2020, 22 (06) : 759 - 780
[8] VERIS: An efficient model checker for synchronous VHDL designs
Fan, YP
Bei, JS
Bian, JI
Xue, HX
Hong, XL
Gu, J
SYSTEM-ON-CHIP METHODOLOGIES & DESIGN LANGUAGES, 2001, : 97 - 107
[9] An efficient statistical model checker for nondeterminism and rare events
Carlos E. Budde
Pedro R. D’Argenio
Arnd Hartmanns
Sean Sedwards
International Journal on Software Tools for Technology Transfer, 2020, 22 : 759 - 780
[10] Biological Transactions for Quantitative Models
Ciocchetta, Federica
Priami, Corrado
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 171 (02) : 55 - 67

← 1 2 3 4 5 →