Like all programs for termination analysis it tries to solve the halting problem for particular cases, since the general problem is undecidable.
Microsoft | Microsoft Windows | Microsoft Office | Microsoft Word | Microsoft Exchange Server | Microsoft SQL Server | Microsoft Excel | The Terminator | Microsoft Outlook | Terminator | Microsoft Visual Studio | Terminator 2: Judgment Day | Microsoft PowerPoint | Terminator: The Sarah Connor Chronicles | Microsoft Research | Microsoft Exchange | Terminator Salvation | Microsoft Access | Microsoft SharePoint | Terminator (franchise) | Terminator 2 | Microsoft Train Simulator | Microsoft Press | Terminator 3: Rise of the Machines | Microsoft Visio | Microsoft Mail | Microsoft Certified Professional | Terminator (character) | Microsoft XNA | Microsoft Visual Studio Express |