Collaborated with:M.Ying X.Wu J.Liu B.Zhan S.Wang T.Liu Y.Li N.Zhan
Talks about:quantum (3) characteris (1) algorithm (1) program (1) generat (1) invari (1) formal (1) verif (1) logic (1) hoar (1)
Person: Shenggang Ying
DBLP: Ying:Shenggang
Contributed to:
2019
2017Wrote 2 papers:
- CAV-2019-LiuZWYLLYZ #algorithm #hoare #logic #quantum #using #verification
- Formal Verification of Quantum Algorithms Using Quantum Hoare Logic (JL, BZ, SW, SY, TL, YL, MY, NZ), pp. 187–207.
- POPL-2017-YingYW #generative #invariant #quantum #source code
- Invariants of quantum programs: characterisations and generation (MY, SY, XW), pp. 818–832.