Contract-based verification of a realistic quantum compiler.
Yunong ShiXupeng LiRunzhou TaoAli Javadi-AbhariAndrew W. CrossFrederic T. ChongRonghui GuPublished in: CoRR (2019)
Keyphrases
- model checking
- quantum computation
- real life
- quantum computing
- formal verification
- java bytecode
- programming language
- face verification
- supply chain
- asynchronous circuits
- general purpose
- database
- quantum mechanics
- highly optimized
- formal methods
- verification method
- code generation
- software systems
- relational databases
- high level