51 citations · 72 across the 4 of their papers we have counts for
Showing quant-phShow all
2 papers · 1 filter
quant-ph2007★ 1 cited
QMC: A Model Checker for Quantum Systems
Simon Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou
We introduce a model-checking tool intended specially for the analysis of quantum information protocols. The tool incorporates an efficient representation of a certain class of qua…
quant-ph2005★ 51 cited
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…