Toggle Main Menu Toggle Search

ePrints

Towards Quantum Programs Verification: From Quipper Circuits to QPMC

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

Downloads

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


Abstract

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

URL: http://dx.doi.org/10.1007/978-3-319-40578-0

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


Actions

    Link to this publication


Share