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.
Towards quantum programs verification: from quipper circuits to QPMC
ANTICOLI, Linda;PIAZZA, Carla;
2016-01-01
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. © Springer International Publishing Switzerland 2016.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
main_42.pdf
non disponibili
Licenza:
Creative commons
Dimensione
341.02 kB
Formato
Adobe PDF
|
341.02 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
