Parameter Synthesis by Parallel Coloured CTL Model Checking

Logo poskytovatele

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

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

Rok publikování 2015
Druh Článek ve sborníku
Konference Computational Methods in Systems Biology
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Doi http://dx.doi.org/10.1007/978-3-319-23401-4_21
Obor Informatika
Klíčová slova model checking; systems biology; Computational Tree Logic; dynamical systems; distributed algorithms
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info