QPMC

MaRDI QIDQ54938swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-19249-9_17

Cited in

(9)

• Model checking \(\omega\)-regular properties for quantum Markov chains
• verifier
• QWire
• iscasMc
• QPL
• qGCL
• QML
• Towards quantum programs verification: from Quipper circuits to QPMC
• Toward automatic verification of quantum programs

This page was built for software: QPMC