Formal Verification of Quantum Programs: Theory, Tools and Challenges.
Marco LewisSadegh SoudjaniPaolo ZulianiPublished in: CoRR (2021)
Keyphrases
- formal verification
- program slicing
- model checking
- quantum computing
- model checker
- quantum mechanics
- lessons learned
- symbolic model checking
- automated verification
- formal methods
- real world
- theoretical framework
- computer programs
- free software
- bounded model checking
- end users
- topics covered include
- orders of magnitude
- interactive visualizations
- description languages
- quantum computation
- probability ranking principle