Actually, Microsoft Research has another project to prove program termination: http://research.microsoft.com/en-us/projects/t2/ http://research.microsoft.com/en

Actually, Microsoft Research has another project to prove program termination: http://research.microsoft.com/en-us/projects/t2/ http://research.microsoft.com/en-us/projects/t2/ Obviously this cannot work on all programs, but it's nice that they tried to do their best.