NPTEL Video Course : Automated Program Verification

Lecture 60 - Interval Abstract Domain: Introduction