Automated Verification of Quantum Protocols by Equivalence Checking.
Ebrahim Ardeshir-LarijaniSimon J. GayRajagopal NagarajanPublished in: CoRR (2013)
Keyphrases
- automated verification
- model checking
- automated reasoning
- formal verification
- temporal logic
- quantum computation
- graph theory
- communication protocols
- quantum inspired
- communication protocol
- quantum mechanics
- quantum computing
- probability ranking principle
- machine learning
- security protocols
- theorem prover
- learning algorithm