Verification of Distributed Quantum Programs.
Yuan FengSanjiang LiMingsheng YingPublished in: CoRR (2021)
Keyphrases
- distributed systems
- lightweight
- distributed architecture
- face verification
- multi agent
- peer to peer
- fault tolerant
- model checking
- data sets
- computer programs
- answer sets
- distributed environment
- mobile agents
- computer networks
- cooperative
- database systems
- databases
- communication overhead
- database
- distributed learning
- test generation
- symbolic execution