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.
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
Print publication date: 30/06/2016
Acceptance date: 01/01/1900
Library holdings: Search Newcastle University Library for this item
Series Title: Programming and Software Engineering