Incorrectness Logic for Graph Programs

Christopher M. Poskitt

Program logics typically reason about an over-approximation of program behaviour to prove the absence of bugs. Recently, program logics have been proposed that instead prove the pr…