On the Formal Verification of Optical Quantum Gates in HOL.
Mohamed Yousri MahmoudPrakash PanangadenSofiène TaharPublished in: FMICS (2015)
Keyphrases
- formal verification
- model checker
- logic circuits
- model checking
- formal methods
- theorem prover
- automated verification
- quantum computation
- symbolic model checking
- low power
- bounded model checking
- program slicing
- fiber optic
- quantum computing
- theorem proving
- temporal logic
- functional verification
- formal specification
- higher order logic
- knowledge acquisition
- test suite
- knowledge based systems