SMT-based Counterexample Generation for Markov Chains.

by Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Abrahám
Reference:
SMT-based Counterexample Generation for Markov Chains. (Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Abrahám), In MBMV, 2011.
Bibtex Entry:
@inproceedings{braitling2011smt,
  title={SMT-based Counterexample Generation for Markov Chains.},
  author={Braitling, Bettina and Wimmer, Ralf and Becker, Bernd and Jansen, Nils and Abrah{'a}m, Erika},
  booktitle={MBMV},
  pages={19--28},
  year={2011}
}

Bookmark the permalink.