Probabilistic Model--Checking of Quantum Protocols

Simon Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou

We establish fundamental and general techniques for formal verification of quantum protocols. Quantum protocols are novel communication schemes involving the use of quantum-mechani…