Terminability
Jump to navigation
Jump to search
Terminability is a quality that indicates whether decisions can be reached before resources run out. Whether some decision procedures are terminable or not is often assessed by using a well-defined namespace, often known as state space. By assessing whether a namespace is finite or not, terminability could be inferred from the assessment.
The Soundness, Precision, and Terminability Trio
The three terms, Soundness, Precision, and Terminability are crucial properties that grounds the work in Abstract Interpretation.