NPTEL Lecture : 'Introduction to Model Checking '

Introduction to Model Checking

  • Course: Design Verification and Test of Digital VLSI Circuits
  • Discipline: Computer Science and Engineering
  • Faculty: Dr. Santosh Biswas, Prof. Jatindra Kumar Deka
  • Institute: IIT Guwahati