A Data-Driven Approach to Quantum Cross-Platform Verification.

Ya-Dong Wu Yan Zhu Ge Bai Yuexuan Wang Giulio Chiribella

Published in: CoRR (2022)

Keyphrases

cross platform
open source
data driven
business applications
software package
quantum computation
model checking
command line
quantum computing
data collection
database
data analysis
business processes
database programming