NPTEL Video Course : Automated Program Verification

Lecture 18 - Z3 Tool