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},
INSTITUTION = {Hasso Plattner Institute, University of Potsdam},
URL = {https://publishup.uni-potsdam.de/opus4-ubp/files/7774/tbhpi98.pdf}
}