Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking.

Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika brahm

Browse the full FORTE paper archive.