NPTEL Video Course : Automated Program Verification

Lecture 66 - Abstraction Refinement using Interpolation