Quantum and Reversible Verification of Proofs Using Constant Memory Space.
Marcos VillagraTomoyuki YamakamiPublished in: TPNC (2014)
Keyphrases
- memory space
- formal proof
- memory requirements
- limited memory
- markov chain
- memory size
- external memory
- quantum computing
- cellular automata
- high efficiency
- model checking
- formal verification
- quantum computation
- quantum mechanics
- formal analysis
- face verification
- theorem proving
- theorem prover
- fingerprint verification
- quantum inspired
- genetic algorithm
- data streams
- formal proofs
- functional verification
- real time