Giallar: Push-Button Verification for the Qiskit Quantum Compiler.
Runzhou TaoYunong ShiJianan YaoXupeng LiAli Javadi-AbhariAndrew W. CrossFrederic T. ChongRonghui GuPublished in: CoRR (2022)
Keyphrases
- model checking
- programming language
- general purpose
- face verification
- formal verification
- quantum computing
- formal analysis
- neural network
- java bytecode
- asynchronous circuits
- quantum inspired
- quantum computation
- functional verification
- channel capacity
- verification method
- highly optimized
- signature verification
- high level
- learning algorithm