QWIRE Practice: Formal Verification of Quantum Circuits in Coq.

Robert Rand Jennifer Paykin Steve Zdancewic

Published in: QPL (2017)

Keyphrases

formal verification
quantum computing
model checking
logic circuits
model checker
formal methods

symbolic model checking
bounded model checking
quantum inspired
automated verification
high speed
real world

low power
quantum computation
logic synthesis
quantum mechanics
power consumption
asynchronous circuits

digital circuits
theorem prover
temporal logic
program slicing
functional verification