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 |
Subtitle of host publication | 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings |
Editors | Nikolaj Bjorner, Frank de Boer |
Place of Publication | Cham |
Publisher | Springer |
Pages | 265-272 |
Number of pages | 8 |
ISBN (Electronic) | 978-3-319-19249-9 |
ISBN (Print) | 978-3-319-19248-2 |
DOIs | |
Publication status | Published - 2015 |
Externally published | Yes |
Event | 20th International Symposium on Formal Methods, FM 2015 - Oslo, Norway Duration: 24 Jun 2015 → 26 Jun 2015 Conference number: 20 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 9109 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 20th International Symposium on Formal Methods, FM 2015 |
---|---|
Abbreviated title | FM |
Country/Territory | Norway |
City | Oslo |
Period | 24/06/15 → 26/06/15 |
Keywords
- Model checker
- Quantum cryptography
- Physical review letter
- Discrete time Markov chain
- Kraus operator