CoqQ: Foundational Verification of Quantum Programs.

Li Zhou Gilles Barthe Pierre-Yves Strub Junyi Liu Mingsheng Ying

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

model checking
hardware designs
symbolic execution
programming environment
computer programs
signature verification
automatic programming
neural network
learning algorithm
data structure
formal verification
java programs
control structures
quantum inspired
java bytecode
quantum computation