Towards Quantum Programs Verification: From Quipper Circuits to QPMC

DOI10.1007/978-3-319-40578-0_16zbMath1480.81028MaRDI QIDQ3186602

Carla Piazza, Paolo Zuliani, L. Taglialegne, Linda Anticoli

Publication date: 10 August 2016

Published in: Reversible Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40578-0_16

zbMATH Keywords

model checking; quantum circuits; quantum languages

Mathematics Subject Classification ID

81P68: Quantum computation

68N15: Theory of programming languages

68Q60: Specification and verification (program logics, model checking, etc.)

68Q12: Quantum algorithms and complexity in the theory of computing

68Q06: Networks and circuits as models of computation; circuit complexity

Uses Software

• PRISM
• Quipper
• QPMC
• qGCL