Incorrectness Logic
Presented on April 9, 2020
Presenter: Harlan
Presenter: Harlan
Preview
Harlan will present the paper “Incorrectness Logic” by Peter O’Hearn. There’s an accompanying video that may also be found useful.
Harlan will present the paper “Incorrectness Logic” by Peter O’Hearn. There’s an accompanying video that may also be found useful.