QPMC: A Model Checker for Quantum Programs and Protocols

Yuan Feng,Ernst Moritz Hahn,Andrea Turrini,Lijun Zhang
DOI: https://doi.org/10.1007/978-3-319-19249-9_17
2015-01-01
Abstract:We present QPMC (Quantum Program/Protocol Model Checker), an extension of the probabilistic model checker IscasMC to automatically verify quantum programs and quantum protocols. QPMC distinguishes itself from the previous quantum model checkers proposed in the literature in that it works for general quantum programs and protocols, not only those using Clifford operations. A command-line version of QPMC is available at .
What problem does this paper attempt to address?