This field of research is known as automated termination analysis.
Αυτό το ερευνητικό πεδίο είναι γνωστό ως αυτόματη ανάλυση τερματισμού.