NPTEL Video Course : Automated Program Verification

Lecture 65 - Abstract Model Cheking with Cartesian Predicate Abstraction