Login / Signup

Formal Verification of Quantum Algorithms Using Quantum Hoare Logic.

Junyi LiuBohua ZhanShuling WangShenggang YingTao LiuYangjia LiMingsheng YingNaijun Zhan
Published in: CAV (2) (2019)
Keyphrases
  • formal verification
  • quantum computation
  • learning algorithm
  • model checking
  • logic circuits
  • computationally efficient
  • quantum computing
  • significant improvement
  • optimization problems
  • bounded model checking