Inductive Invariant Checking with Partial Negative Application Conditions

Dyck, Johannes; Giese, Holger

by Johannes Dyck, Holger Giese

Reference:

Inductive Invariant Checking with Partial Negative Application Conditions (Johannes Dyck, Holger Giese), Technical report 98, Hasso Plattner Institute, University of Potsdam, 2015.

Bibtex Entry:

@TechReport{DG15_TR,
AUTHOR = {Dyck, Johannes and Giese, Holger},
TITLE = {{Inductive Invariant Checking with Partial Negative Application Conditions}},
YEAR = {2015},
NUMBER = {98},
ADDRESS = {Potsdam, Germany},
INSTITUTION = {Hasso Plattner Institute, University of Potsdam},
PDF = {uploads/pdf/DG15_TR_tbhpi98.pdf}
}