QPMC

MaRDI QIDQ54938swMATHFDO

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

Cited in

(9)

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

This page was built for software: QPMC