Automatic Termination Analysis

Floyd's approach

• lecture 1
• lecture 2
• lecture 3
• lecture 4

Invariants

• lecture 5

Ranking Functions

• lecture 6

The Size-Change Principle

• lecture 7
• lecture 8

The Polyranking Principle

• lecture 9