Inductive Invariant Checking with Partial Negative Application Conditions

Johannes Dyck, Holger Giese. Inductive Invariant Checking with Partial Negative Application Conditions. In Francesco Parisi-Presicce, Bernhard Westfechtel, editors, Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings. Volume 9151 of Lecture Notes in Computer Science, pages 237-253, Springer, 2015. [doi]

Abstract

Abstract is missing.