NPTEL Video Course : Automated Program Verification

Lecture 10 - Satisfiability Modulo Theories (SMT)