Toggle Main Menu Toggle Search

Open Access padlockePrints

Towards Quantum Programs Verification: From Quipper Circuits to QPMC

Lookup NU author(s): Linda Anticoli, Dr Paolo Zuliani


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


We present a translation from the quantum programming language Quipper to the QPMC model checker, with the main aim of verifying Quipper programs. We implemented and tested our translation on several quantum algorithms, including Grover's quantum search.

Publication metadata

Author(s): Anticoli L, Piazza C, Taglialegne L, Zuliani P

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 8th International Conference on Reversible Computation

Year of Conference: 2016

Pages: 213-219

Print publication date: 30/06/2016

Acceptance date: 01/01/1900

Publisher: Springer


DOI: 10.1007/978-3-319-40578-0_16

Library holdings: Search Newcastle University Library for this item

Series Title: Programming and Software Engineering

ISBN: 9783319405773