NPTEL Video Course : Automated Program Verification

Lecture 17 - Application of SMT: Bounded Model Checking