NPTEL Video Course : NOC:VLSI Design Verification and Test

Lecture 31 - Introduction to Model Checking