Incorrectness Logic for Graph Programs

Christopher M. Poskitt. Incorrectness Logic for Graph Programs. In Fabio Gadducci, Timo Kehrer, editors, Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings. Volume 12741 of Lecture Notes in Computer Science, pages 81-101, Springer, 2021. [doi]

Abstract

Abstract is missing.