QPMC: A model checker for quantum programs and protocols

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

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

26 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
Subtitle of host publication20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
EditorsNikolaj Bjorner, Frank de Boer
Place of PublicationCham
PublisherSpringer
Pages265-272
Number of pages8
ISBN (Electronic)978-3-319-19249-9
ISBN (Print)978-3-319-19248-2
DOIs
Publication statusPublished - 2015
Externally publishedYes
Event20th International Symposium on Formal Methods, FM 2015 - Oslo, Norway
Duration: 24 Jun 201526 Jun 2015
Conference number: 20

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume9109
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference20th International Symposium on Formal Methods, FM 2015
Abbreviated titleFM
Country/TerritoryNorway
CityOslo
Period24/06/1526/06/15

Keywords

  • Model checker
  • Quantum cryptography
  • Physical review letter
  • Discrete time Markov chain
  • Kraus operator

Fingerprint

Dive into the research topics of 'QPMC: A model checker for quantum programs and protocols'. Together they form a unique fingerprint.

Cite this