Formal Verification

Verification of Distributed Quantum Programs

Distributed quantum systems and especially the Quantum Internet have the ever-increasing potential to fully demonstrate the power of …

Yuan Feng, Sanjiang Li, Mingsheng Ying