Parameter Synthesis by Parallel Coloured CTL Model Checking

• 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
• 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

• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IV.
• Získávání parametrů biologických modelů pomocí techniky ověřování modelů
• Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity