Login / Signup
Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations.
Theodoros Kapourniotis
Elham Kashefi
Dominik Leichtle
Luka Music
Harold Ollivier
Published in:
IACR Cryptol. ePrint Arch. (2022)
Keyphrases
</>
error detection
error correction
formal methods
error recovery
quantum computing
software tools
quantum mechanics
theoretical framework
fault tolerance
model checking
error correcting
data cleansing
topics covered include
email
error resilient
end users
asynchronous circuits