A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking

Published in Proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2015), 2015

Recommended citation:

This is joint work with Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, and Lijun Zhang. The published paper is available here.