Keyphrases
- quantum computation
- quantum mechanics
- formal proof
- model checking
- theorem proving
- classical methods
- quantum probability
- quantum inspired
- quantum computing
- verification method
- formal verification
- formal methods
- face verification
- theorem prover
- genetic algorithm
- real time
- decision procedures
- distributed systems
- case study
- formal proofs
- social networks