Formal verification of optical quantum flip gate

DOI10.1007/978-3-319-08970-6_23MaRDI QIDQ2879263zbMATH OpenOpenAlexFDO

Authors Mohamed Yousri Mahmoud, Vincent Aravantinos, Sofiène Tahar

Publication date 8 September 2014

Published in Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-08970-6_23

zbMATH Keywords

quantum opticstheorem provingbeam splitterHOL Lightphase conjugating mirrorquantum flip gate

Mathematics Subject Classification ID

Quantum optics (81V80)

Recommendations

• A modeling and verification framework for optical quantum circuits
• Verification of quantum computation: an overview of existing approaches
• A logic for formal verification of quantum programs
• Verification of quantum programs
• Towards large-scale functional verification of universal quantum circuits

Cited in

(3)

• scientific article; zbMATH DE number 7362463 (Why is no real title available?)
• Formalizing physics: automation, presentation and foundation issues
• A modeling and verification framework for optical quantum circuits

Describes a project that uses

Uses Software

• HOL Light

This page was built for publication: Formal verification of optical quantum flip gate

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2879263)