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.
CITATION STYLE
Brim, L., Češka, M., Demko, M., Pastva, S., & Šafránek, D. (2015). Parameter synthesis by parallel coloured CTL model checking. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9308, pp. 251–263). Springer Verlag. https://doi.org/10.1007/978-3-319-23401-4_21
Mendeley helps you to discover research relevant for your work.