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.
2016
978-3-319-40577-3
978-3-319-40578-0
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11390/1091046
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 9
  • ???jsp.display-item.citation.isi??? 5
social impact