A comparative study of BDD packages for probabilistic symbolic model checking

Tom van Dijk, Ernst Moritz Hahn, David Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

8 Citaten (Scopus)

Samenvatting

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.
Originele taal-2Engels
TitelDependable Software Engineering: Theories, Tools, and Applications
RedacteurenX. Li, Z. Liu, W. Yi
Plaats van productieCham
UitgeverijSpringer
Pagina's35-51
Aantal pagina's17
ISBN van elektronische versie978-3-319-25942-0
ISBN van geprinte versie978-3-319-25941-3
DOI's
StatusGepubliceerd - 17 okt 2015
Extern gepubliceerdJa
EvenementSETTA 2015 First International Symposium - Nanjing, China
Duur: 4 nov 20155 nov 2015

Publicatie series

NaamLecture Notes in Computer Science
Volume9409

Congres

CongresSETTA 2015 First International Symposium
LandChina
StadNanjing
Periode4/11/155/11/15

Vingerafdruk

Duik in de onderzoeksthema's van 'A comparative study of BDD packages for probabilistic symbolic model checking'. Samen vormen ze een unieke vingerafdruk.

Citeer dit