Gay, S. J., Nagarajan, Rajagopal and Papanikolaou, N. K. (2007) QMC : a model checker for quantum systems. University of Warwick. Department of Computer Science. (Unpublished)

Preview

PDF WRAP_Nagarajan_cs-rr-432_.pdf - Published Version - Requires a PDF viewer. Download (216Kb) | Preview

Request Changes to record.

Abstract

We introduce a model-checking tool intended specially for the analysis of quantum information protocols. The tool incorporates an efficient representation of a certain class of quantum circuits, namely those expressible in the so-called stabiliser formalism. Models of protocols are described using a simple, imperative style simulation language which includes commands for the unitary operators in the Clifford group as well as classical integer and boolean variables. Formulas for verification are expressed using a subset of exogenous quantum propositional logic (EQPL). The model-checking procedure treats quantum measurements as the source of non-determinism, leading to multiple protocol runs, one for each outcome. Verification is performed for each run.

Item Type:	Report
Subjects:	Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software Q Science > QC Physics
Divisions:	Faculty of Science, Engineering and Medicine > Science > Computer Science
Library of Congress Subject Headings (LCSH):	Quantum systems -- Measurement, Quantum computers
Publisher:	University of Warwick. Department of Computer Science
Official Date:	2007
Dates:	Date Event 2007 Completion
DOI:	CS-RR-432
Institution:	University of Warwick
Theses Department:	Department of Computer Science
Status:	Not Peer Reviewed
Publication Status:	Unpublished
Access rights to Published version:	Open Access
Funder:	European Commission (EC), Engineering and Physical Sciences Research Council (EPSRC)
Grant number:	EP/E006833/1 (EPSRC)
Related URLs:	Related item in WRAP Other Repository

Request changes or add full text files to a record

Repository staff actions (login required)

View Item

Downloads