NPTEL Video Course : Automated Program Verification

Lecture 61 - Interval Abstract Domain: Widening and Narrowing