NPTEL Video Course : Automated Program Verification

Lecture 43 - Overview of Abstract Interpretation