Conference
Advances in Symbolic Probabilistic Model Checking with PRISM
| العنوان: | Advances in Symbolic Probabilistic Model Checking with PRISM |
|---|---|
| المؤلفون: | Klein, Joachim, Baier, Christel, Chrszon, Philipp, Daum, Marcus, Dubslaff, Clemens, Klüppelholz, Sascha, Märcker, Steffen, Müller, David |
| Publication Status: | acceptedVersion |
| بيانات النشر: | Springer, 2016. |
| سنة النشر: | 2016 |
| المجموعة: | Hochschulschriftenserver (HSSS) der SLUB Dresden |
| Original Material: | urn:nbn:de:bsz:14-qucosa2-742677 |
| مصطلحات موضوعية: | model checking, formal methods, Formale Methoden, Modellprüfung, info:eu-repo/classification/ddc/004, ddc:004 |
| الوصف: | For modeling and reasoning about complex systems, symbolic methods provide a prominent way to tackle the state explosion problem. It is well known that for symbolic approaches based on binary decision diagrams (BDD), the ordering of BDD variables plays a crucial role for compact representations and efficient computations. We have extended the popular probabilistic model checker PRISM with support for automatic variable reordering in its multi-terminal-BDD-based engines and report on benchmark results. Our extensions additionally allow the user to manually control the variable ordering at a finer-grained level. Furthermore, we present our implementation of the symbolic computation of quantiles and support for multi-reward-bounded properties, automata specifications and accepting end component computations for Streett conditions. |
| Original Identifier: | oai:qucosa:de:qucosa:74267 |
| نوع الوثيقة: | Text Conference Material |
| اللغة: | English |
| ردمك: | 978-3-662-49673-2 978-3-662-49674-9 |
| DOI: | 10.1007/978-3-662-49674-9_20 |
| الاتاحة: | https://tud.qucosa.de/id/qucosa%3A74267 https://tud.qucosa.de/api/qucosa%3A74267/attachment/ATT-0/ |
| Rights: | info:eu-repo/semantics/openAccess |
| رقم الانضمام: | edsndl.DRESDEN.oai.qucosa.de.qucosa.74267 |
| قاعدة البيانات: | Networked Digital Library of Theses & Dissertations |
| ردمك: | 9783662496732 9783662496749 |
|---|---|
| DOI: | 10.1007/978-3-662-49674-9_20 |