Disproving termination with overapproximation.

Byron Cook Carsten Fuhs Kaustubh Nimkar Peter W. O'Hearn

Published in: FMCAD (2014)

Keyphrases

term rewriting
active rules
dynamic programming
data sets
machine learning
artificial intelligence
decision making
data structure
cooperative
multiresolution
domain knowledge
knowledge discovery
termination analysis