Towards quantum programs verification: from quipper circuits to QPMC


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. © Springer International Publishing Switzerland 2016.

Reversible Computation RC 2016: 8th International Conference, Proceedings