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 | |
| Publication status | Published - Nov 2015 |
| Event | 1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015 - Nanjing, China Duration: 4 Nov 2015 → 6 Nov 2015 Conference number: 1 |
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: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
TY - GEN
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
A2 - Li, Xuandong
A2 - Liu, Zhiming
A2 - Yi, Wang
PB - Springer
CY - Cham, Switzerland
ER -