NPTEL Video Course : Automated Program Verification

Lecture 64 - Abstract Model Checking