NPTEL Video Course : Automated Program Verification

Lecture 34 - Hoare Logic - Part C : Loop Invariants