QPMC: A Model Checker for Quantum Programs and Protocols

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

doi:10.1007/978-3-319-19249-9_17

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 proceeding › Conference contribution

29 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 language	English
Title of host publication	FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Pages	265-272
Number of pages	8
DOIs	https://doi.org/10.1007/978-3-319-19249-9_17
Publication status	Published - 2015
Externally published	Yes

Access to Document

10.1007/978-3-319-19249-9_17

https://doi.org/10.1007/978-3-319-19249-9_17

Cite this

@inproceedings{0960b389ce0d4f71a0882b386700cae4,

title = "QPMC: A Model Checker for Quantum Programs and Protocols",

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/ .",

author = "Yuan Feng and Hahn, \{Ernst Moritz\} and Andrea Turrini and Lijun Zhang",

year = "2015",

doi = "10.1007/978-3-319-19249-9\_17",

language = "English",

pages = "265--272",

booktitle = "FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings",

}

TY - GEN

T1 - QPMC: A Model Checker for Quantum Programs and Protocols

AU - Feng, Yuan

AU - Hahn, Ernst Moritz

AU - Turrini, Andrea

AU - Zhang, Lijun

PY - 2015

Y1 - 2015

N2 - 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/ .

AB - 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/ .

U2 - 10.1007/978-3-319-19249-9_17

DO - 10.1007/978-3-319-19249-9_17

M3 - Conference contribution

SP - 265

EP - 272

BT - FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

ER -

QPMC: A Model Checker for Quantum Programs and Protocols

Abstract

Access to Document

Fingerprint

Cite this