NPTEL Video Course : Automated Program Verification

Lecture 55 - Kildall's Algorithm with Monotonic Transfer Functions