by Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám
Reference:
Counterexample generation for Markov chains using SMT-based bounded model checking (Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám), Chapter in Formal Techniques for Distributed Systems, Springer Berlin Heidelberg, 2011.
Bibtex Entry:
@incollection{braitling2011counterexample,
title={Counterexample generation for Markov chains using SMT-based bounded model checking},
author={Braitling, Bettina and Wimmer, Ralf and Becker, Bernd and Jansen, Nils and {'A}brah{'a}m, Erika},
booktitle={Formal Techniques for Distributed Systems},
pages={75--89},
year={2011},
publisher={Springer Berlin Heidelberg}
}