Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams

DOI10.1007/978-3-642-36315-3_15zbMath1451.68179OpenAlexW113418608WikidataQ62513090 ScholiaQ62513090MaRDI QIDQ3453751

Robert Wille, Rolf Drechsler, Mathias Soeken, Julia Seiter

Publication date: 30 November 2015

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

Full work available at URL: https://doi.org/10.1007/978-3-642-36315-3_15

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) Networks and circuits as models of computation; circuit complexity (68Q06) Quantum gates (81P65)

Related Items (2)

Equivalence checking of quantum finite-state machines ⋮ Model Checking for Verification of Quantum Circuits

Uses Software

• QMDD
• QuIDDPro

Cites Work

• Quantum Circuit Simulation
• Unnamed Item
• Unnamed Item

This page was built for publication: Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams