Towards quantum programs verification: from quipper circuits to QPMC
- Anticoli, Linda
- Piazza, Carla
- Taglialegne, Leonardo
- Zuliani, Paolo
Publication date
January 2016
DOI Publisher
Springer Science and Business Media LLC ISSN
0302-9743 Citation count (estimate)
1Abstract
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\u2019s quantum search. \ua9 Springer International Publishing Switzerland 2016
Add to ORKG