Abstract
| Original language | English |
|---|---|
| Title of host publication | Dependable Software Engineering: Theories, Tools, and Applications |
| Subtitle of host publication | First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings |
| Editors | Xuandong Li, Zhiming Liu, Wang Yi |
| Place of Publication | Cham, Switzerland |
| Publisher | Springer |
| Pages | 35-51 |
| Number of pages | 17 |
| ISBN (Electronic) | 978-3-319-25942-0 |
| ISBN (Print) | 978-3-319-25941-3 |
| DOIs | |
| State | Published - Nov 2015 |
| Event | 1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015 - Nanjing, China |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer |
| Volume | 9409 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015 |
|---|---|
| Abbreviated title | SETTA |
| Country | China |
| City | Nanjing |
| Period | 4/11/15 → 6/11/15 |
Fingerprint
Keywords
- EC Grant Agreement nr.: FP7/2007-2013
- EC Grant Agreement nr.: FP7/318490
- METIS-315022
- IR-98405
- EWI-26446
Cite this
}
A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. / van Dijk, Tom; Hahn, Ernst Moritz; Jansen, D.N.; Li, Yong; Neele, Thomas; Stoelinga, Mariëlle Ida Antoinette; Turrini, Andrea; Zhang, Lijun.
Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. ed. / Xuandong Li; Zhiming Liu; Wang Yi. Cham, Switzerland : Springer, 2015. p. 35-51 (Lecture Notes in Computer Science; Vol. 9409).Research output: Scientific - peer-review › Conference contribution
TY - CHAP
T1 - A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking
AU - van Dijk,Tom
AU - Hahn,Ernst Moritz
AU - Jansen,D.N.
AU - Li,Yong
AU - Neele,Thomas
AU - Stoelinga,Mariëlle Ida Antoinette
AU - Turrini,Andrea
AU - Zhang,Lijun
N1 - eemcs-eprint-26446 ; http://eprints.ewi.utwente.nl/26446
PY - 2015/11
Y1 - 2015/11
N2 - Symbolic data structures using Binary Decision Diagrams (BDDs) have been successfully used in the last decades to analyse large systems. While various BDD and MTBDD packages have been developed in the community, the CUDD package remains the default choice of most of the symbolic (probabilistic) model checkers. In this paper, we provide the first comparative study of the performance of various BDD/MTBDD packages for this purpose. We provide experimental results for several well-known probabilistic benchmarks and study the effect of several optimisations. Our experiments show that no BDD package dominates on a single core, but that parallelisation yields significant speedups.
AB - Symbolic data structures using Binary Decision Diagrams (BDDs) have been successfully used in the last decades to analyse large systems. While various BDD and MTBDD packages have been developed in the community, the CUDD package remains the default choice of most of the symbolic (probabilistic) model checkers. In this paper, we provide the first comparative study of the performance of various BDD/MTBDD packages for this purpose. We provide experimental results for several well-known probabilistic benchmarks and study the effect of several optimisations. Our experiments show that no BDD package dominates on a single core, but that parallelisation yields significant speedups.
KW - EC Grant Agreement nr.: FP7/2007-2013
KW - EC Grant Agreement nr.: FP7/318490
KW - METIS-315022
KW - IR-98405
KW - EWI-26446
U2 - 10.1007/978-3-319-25942-0_3
DO - 10.1007/978-3-319-25942-0_3
M3 - Conference contribution
SN - 978-3-319-25941-3
T3 - Lecture Notes in Computer Science
SP - 35
EP - 51
BT - Dependable Software Engineering: Theories, Tools, and Applications
PB - Springer
ER -