Login / Signup
MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification.
Siwei Tan
Debin Xiang
Liqiang Lu
Junlin Lu
Qiuping Jiang
Mingshuai Chen
Jianwei Yin
Published in:
ASPLOS (3) (2024)
Keyphrases
</>
symbolic execution
knowledge retrieval
hardware designs
model checking
formal verification
quantum computing
quantum inspired
test generation
program execution
asynchronous circuits
formal analysis
fingerprint verification
java programs
case study
provably correct
formal methods
java bytecode