@inproceedings{f128a8a66c0646fe84b6e6bc9480a24b,
title = "A comparative study of BDD packages for probabilistic symbolic model checking",
abstract = "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.",
author = "{van Dijk}, Tom and Hahn, {Ernst Moritz} and David Jansen and Yong Li and Thomas Neele and Mari{\"e}lle Stoelinga and Andrea Turrini and Lijun Zhang",
year = "2015",
month = oct,
day = "17",
doi = "10.1007/978-3-319-25942-0_3",
language = "English",
isbn = "978-3-319-25941-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "35--51",
editor = "X. Li and Z. Liu and W. Yi",
booktitle = "Dependable Software Engineering: Theories, Tools, and Applications",
address = "Germany",
note = "SETTA 2015 First International Symposium ; Conference date: 04-11-2015 Through 05-11-2015",
}