Showing quant-phShow all
2 papers · 1 filter
quant-ph2026★ 1 cited
DisQ: A Model of Distributed Quantum Processors (Extended Version)
Le Chang, Saitej Yavvari, Rance Cleaveland +3
The next generation of distributed quantum processors combines single-location quantum computing and quantum networking techniques to permit large entangled qubit groups to be esta…
quant-ph2024
Qafny: A Quantum-Program Verifier
Liyi Li, Mingwei Zhu, Rance Cleaveland +4
Because of the probabilistic/nondeterministic behavior of quantum programs, it is highly advisable to verify them formally to ensure that they correctly implement their specificati…