Physics – Quantum Physics
Scientific paper
2007-04-27
Physics
Quantum Physics
Scientific paper
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 quantum computational tree logic (QCTL). 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.
Gay Simon
Nagarajan Rajagopal
Papanikolaou Nikolaos
No associations
LandOfFree
QMC: A Model Checker for Quantum Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with QMC: A Model Checker for Quantum Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and QMC: A Model Checker for Quantum Systems will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-677321