NPTEL Video Course : Automated Program Verification

Lecture 63 - Concrete and Symbolic Model Checking