Difference between revisions of "Terminability"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
Terminability is a quality that indicates whether certain decision procedures can be fully conducted before time, memory space, and uncertainty resources run out. | [[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 Soundness, Precision, and Terminability Trio= | ||
Revision as of 04:08, 16 May 2022
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.