Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract).

David Reutter Jamie Vicary

Published in: QPL (2017)

Keyphrases

extended abstract
case study
functional verification
data sets
low cost
design principles
formal verification
real time
web services
multi agent
relational databases
building blocks
computer aided
engineering design
logic circuits