Formal Verification of Optical Quantum Flip Gate.
Mohamed Yousri MahmoudVincent AravantinosSofiène TaharPublished in: ITP (2014)
Keyphrases
- formal verification
- model checking
- bounded model checking
- symbolic model checking
- model checker
- quantum computation
- automated verification
- program slicing
- temporal logic
- quantum computing
- optical properties
- fiber optic
- logic circuits
- waveguide
- quantum mechanics
- knowledge base
- information retrieval
- quantum inspired
- domain independent
- low cost
- knowledge representation