Verification of Nondeterministic Quantum Programs.

Yuan Feng Yingte Xu

Published in: CoRR (2023)

Keyphrases

model checking
hardware designs
symbolic execution
finite state
quantum computation
formal methods
computer programs
finite automata
real time
case study
expert systems
markov chain
signature verification
quantum mechanics
provably correct
channel capacity