QMC: A Model Checker for Quantum Systems.

Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou

Browse the full CAV paper archive.