Software Tools & Verification Mingsheng Ying
87 | Invariant Generation for Quantum Program Verification
This talk introduces invariants for quantum programs and an effective technique for invariant generation, supporting the verification and analysis of quantum software.
#MingshengYing
#UniversityOfTechnologySydney
#QuantumProgramVerification
#QuantumSoftware
#InvariantGeneration