QPMC: A Model Checker for Quantum Programs and Protocols

Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

20 Citations (Scopus)


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 http://iscasmc.ios.ac.cn/tool/qmc/ .
Original languageEnglish
Title of host publicationFM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Number of pages8
Publication statusPublished - 2015
Externally publishedYes


Dive into the research topics of 'QPMC: A Model Checker for Quantum Programs and Protocols'. Together they form a unique fingerprint.

Cite this