NPTEL Video Course : Automated Program Verification

Lecture 57 - Proof of Soundness of Kildall's Algorithm