NPTEL Video Course : Automated Program Verification

Lecture 51 - Defining Soundness of Abstract Interpretation