NPTEL Video Course : Automated Program Verification

Lecture 27 - Soundness and Completeness of Strongest Post-Condition