NPTEL Video Course : Logic for CS

Lecture 37 - Verification of Imperative Programs