In this talk, I’ll mainly discuss the program logic approach to verification of quantum programs, including quantum Hoare logic, invariant generation and termination analysis for quantum programs. I’ll also briefly discuss potential applications of model checking for verification and debugging of quantum programs. Some problems for future research will be proposed at the end of the paper.
Wed 2 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:00 - 14:00
|Verification of Quantum Programs|
A: Mingsheng Ying University of Technology Sydney / Institute of Software at Chinese Academy of Sciences / Tsinghua UniversityMedia Attached