Terminability
Revision as of 08:04, 23 May 2022 by Benkoo (talk | contribs) (Benkoo moved page Terminable to Terminability over redirect)
Terminability is a quality that indicates whether certain decision procedures can be fully conducted before time, memory space, and uncertainty 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.