NPTEL Video Course : Automated Program Verification

Lecture 62 - Relational Domains and Inter-Procedural Abstract Interpretation