NPTEL Video Course : Automated Program Verification

Lecture 36 - Crafting Inductive Loop Invariants