Verification of Quantum Programs
Mingsheng YingNengkun YuYuan FengRunyao DuanPublished in: CoRR (2011)
Keyphrases
- symbolic execution
- hardware designs
- model checking
- face verification
- formal analysis
- quantum computing
- verification method
- quantum computation
- multiscale
- computer programs
- automatic programming
- formal verification
- quantum evolutionary algorithm
- provably correct
- control program
- test generation
- intermediate level
- real world
- signature verification
- static analysis
- search algorithm
- information systems
- machine learning