NPTEL Video Course : Automated Program Verification

Lecture 42 - Forward Propagate Algorithm