symQV: Automated Symbolic Verification of Quantum Programs.
Fabian Bauer-MarquartStefan LeueChristian SchillingPublished in: CoRR (2022)
Keyphrases
- intermediate level
- semi automated
- hardware designs
- symbolic execution
- computer programs
- high level
- functional verification
- face verification
- formal methods
- quantum computation
- java bytecode
- quantum inspired
- fully automated
- model checking
- semi automatic
- provably correct
- data mining
- concurrent systems
- symbolic representation
- symbolic description
- information retrieval