NPTEL Video Course : Automated Program Verification

Lecture 52 - Proof of Soundness of Abstract Interpretation