CoqQ: Foundational Verification of Quantum Programs.
Li ZhouGilles BarthePierre-Yves StrubJunyi LiuMingsheng YingPublished in: CoRR (2022)
Keyphrases
- symbolic execution
- hardware designs
- formal verification
- real time
- model checking
- computer programs
- quantum computing
- java bytecode
- face verification
- formal methods
- formal analysis
- fixpoint
- web services
- intermediate level
- information systems
- concurrent systems
- false acceptance rate
- channel capacity
- quantum inspired
- real world