[JD557]

Actually, Microsoft Research has another project to prove program termination: 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.