Parameter Synthesis by Parallel Coloured CTL Model Checking

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F15%3A00081130" target="_blank" >RIV/00216224:14330/15:00081130 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-319-23401-4_21" target="_blank" >http://dx.doi.org/10.1007/978-3-319-23401-4_21</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-23401-4_21" target="_blank" >10.1007/978-3-319-23401-4_21</a>

Result language
angličtina
Original language name
Parameter Synthesis by Parallel Coloured CTL Model Checking
Original language 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 parametersthat 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.
Czech name
—
Czech description
—

Project
<a href="/en/project/GA15-11089S" target="_blank" >GA15-11089S: Parameter Discovery for Biological Models Using Model Checking</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Publication year
2015
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)