NPTEL Lecture : 'Symbolic Model Checking'

Symbolic 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