Theoretical and practical aspects of verification of quantum computers.
Yehuda NavehElham KashefiJames R. WoottonKoen BertelsPublished in: DATE (2018)
Keyphrases
- theoretical and practical aspects
- summer school
- model checking
- computer technology
- quantum inspired
- computer systems
- quantum computation
- verification method
- turing test
- formal verification
- quantum computing
- asynchronous circuits
- signature verification
- academia and industry
- functional verification
- face verification
- face recognition