NPTEL Video Course : Automated Program Verification

Lecture 44 - Soundness of Abstract Interpretation