NPTEL Video Course : Automated Program Verification

Lecture 58 - Proof of Termination of Kildall's Algorithm