NPTEL Video Course : Automated Program Verification

Lecture 20 - Formal Definition of Program Verification