On Incorrectness Logic for Quantum Programs

This presentation is based on a paper that illustrates a quantum version of the O’Hearn’s Incorrectness Logic.

I talked about it in a seminar for the course of Introduction to Quantum Computing.