Giallar: push-button verification for the qiskit Quantum compiler.
Runzhou TaoYunong ShiJianan YaoXupeng LiAli Javadi-AbhariAndrew W. CrossFrederic T. ChongRonghui GuPublished in: PLDI (2022)
Keyphrases
- general purpose
- model checking
- formal verification
- databases
- java bytecode
- quantum inspired
- software systems
- face verification
- verification method
- formal analysis
- programming language
- data model
- data sets
- formal methods
- web services
- parallel programming
- knowledge base
- code generation
- artificial intelligence
- concurrent systems
- quantum computing
- genetic algorithm
- neural network
- quantum computation
- distributed memory machines