NPTEL Video Course : Automated Program Verification

Lecture 22 - Towards Automated Verification