QPMC: A Model Checker for Quantum Programs and Protocols.

Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang

Browse the full FM paper archive.