Abstract Model-checking techniques have been extended to analyze quantum programs
and communication protocols represented as quantum Markov chains, an extension of …

Markov chains have been widely employed as a fundamental model in the studies of
probabilistic and stochastic communicating and concurrent systems. It is well-understood …

Model checking has been successfully applied to verification of computer hardware and
software, communication systems and even biological systems. In this paper, we further …