Towards Quantum Programs Verification: From Quipper Circuits to QPMC.
Linda AnticoliCarla PiazzaLeonardo TaglialegnePaolo ZulianiPublished in: RC (2016)
Keyphrases
- quantum computing
- logic circuits
- asynchronous circuits
- logic synthesis
- symbolic execution
- hardware designs
- quantum inspired
- computer programs
- automatic programming
- quantum evolutionary algorithm
- delay insensitive
- model checking
- high speed
- digital circuits
- formal verification
- real time
- answer sets
- tunnel diode
- test generation
- quantum mechanics
- signature verification
- formal methods
- artificial neural networks
- vlsi circuits
- neural network
- data sets