Towards Classical Software Verification using Quantum Computers.

Sebastian Issel Kilian Tscharke Pascal Debus

Published in: CoRR (2024)

Keyphrases

quantum computation
quantum mechanics
quantum inspired
quantum probability
image processing
computer systems
database
high level
expert systems
relational databases
probabilistic model
high speed
personal computer
channel capacity
quantum computing