4 citations · 4 across the 9 of their papers we have counts for
1 paper · 1 filter
Aochu Dai, Mingsheng Ying
We present QisMC, the first quantum model checker dedicated to debugging Qiskit programs. On the theoretical side, we introduce the notion of quantum-classical transition system an…