Hanru Jiang

On incorrectness logic for Quantum programs

2022 · Proceedings of the ACM on Programming Languages

Bug-catching is important for developing quantum programs. Motivated by the incorrectness logic for classical programs, we propose an incorrectness logic towards a logical foundation for static bug-catching in quantum programming. The validity of formulas in …