Initiatives
Learn about NPTEL
Local Chapters
Industry Associates
Translation
GATE Preparation
CSR
Internship
PreDoc Fellowship
Faculty Initiatives
Workshops
Courses
NPTEL Courses
Medical Courses
SWAYAM & NPTEL
Domains
NPTEL+
NPTEL STARS
Coordinators
NPTEL Testimonials
Help Videos
More
NPTEL Blog
Courses on YT
About us
NOC Semester Information
Certification courses offered by Industry
Careers
Merchandise
Special Lecture Series
International NPTEL Learners
FAQ
Documents
Books
Link to old site
Log in
Course Details
Automated Program Verification, IIT Madras
Prof. Kartik Nagar
about course
downloads
TA list
statistics
toppers list
certificate type
feedback
Syllabus
Loading about course data...
