Verification of quantum programs.

Mingsheng Ying Nengkun Yu Yuan Feng Runyao Duan

Published in: Sci. Comput. Program. (2013)

Keyphrases

symbolic execution
hardware designs
model checking
signature verification
real time
information systems
automatic programming
web services
answer sets
formal analysis
fixpoint
test generation
control structures
verification method
quantum computing
quantum inspired