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

Automated Program Verification, IIT Madras

Prof. Kartik Nagar
about coursedownloadsTA liststatisticstoppers listcertificate type Syllabus
Loading about course data...