Parameter Synthesis by Parallel Coloured CTL Model Checking

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

BRIM Luboš ČEŠKA Milan DEMKO Martin PASTVA Samuel ŠAFRÁNEK David

Year of publication 2015
Type Article in Proceedings
Conference Computational Methods in Systems Biology
MU Faculty or unit

Faculty of Informatics

Citation
Doi http://dx.doi.org/10.1007/978-3-319-23401-4_21
Field Informatics
Keywords model checking; systems biology; Computational Tree Logic; dynamical systems; distributed algorithms
Description We propose a new distributed-memory parallel algorithm for parameter synthesis from CTL hypotheses. The algorithm colours the state space transitions by different parameterisations and extends CTL model checking to identify the maximal set of parameters that guarantee the satisfaction of the given CTL property. We experimentally confirm good scalability of our approach and demonstrate its applicability in the case study of a genetic switch controlling decisions in the cell cycle.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.