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

11 Citations (Scopus)

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 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
Pages265-272
Number of pages8
DOIs
Publication statusPublished - 2015
Externally publishedYes

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

Cite this