NPTEL Video Course : Automated Program Verification

Lecture 37 - Verification Condition Generation - Part A