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), In Graph Transformation (Francesco Parisi-Presicce, Bernhard Westfechtel, eds.), Springer, volume 9151, 2015.

Bibtex Entry:

@InProceedings{Dyck_Giese:2015,
AUTHOR = {Dyck, Johannes and Giese, Holger},
TITLE = {{Inductive Invariant Checking with Partial Negative Application Conditions}},
YEAR = {2015},
BOOKTITLE = {Graph Transformation},
VOLUME = {9151},
PAGES = {237-253},
EDITOR = {Parisi-Presicce, Francesco and Westfechtel, Bernhard},
SERIES = {LNCS},
ADDRESS = {Cham},
PUBLISHER = {Springer},
URL = {https://doi.org/10.1007/978-3-319-21145-9_15}
}