Initiatives

down arrow
Learn about NPTEL Local Chapters Industry Associates Translation GATE Preparation CSR Internship PreDoc Fellowship Faculty Initiatives Workshops Conference Support

Courses

down arrow
NPTEL Courses Medical Courses SWAYAM & NPTEL Domains NPTEL+

Inspired Learners

down arrow
NPTEL STARS NPTEL Testimonials NPTEL Blog

Exams

More

down arrow
Courses on YT About us Careers Merchandise Special Lecture Series FAQ Documents Books
Institute Logo

NOC: Model Checking, Chennai Mathematical Institute

Prof. Srivathsan.B
about coursedownloadsTA liststatisticstoppers listcertificate type Syllabus
Loading about course data...