Departments Courses

Posts are written by anonymous visitors and are their opinions, not ours. An independent student project, not affiliated with IIT Delhi.

Site

Departments
Courses
Search

More

Terms
Contact

COL7250 Foundations of Automatic Verification, IIT Delhi · ProfRate

COL7250 · Computer Science and Engineering

Foundations of Automatic Verification

4 (3-0-2) credits · Not timetabled this semester

Previously COL750 in the old three-digit numbering, as recorded in IIT Delhi’s course catalogue.

0.0/10

No ratings yet

1

2

3

4

5

6

7

8

9

10

Your rating

COL7250 Foundations of Automatic Verification

7

One rating per person. Editable later.

One rating per person, from 1 to 10. You can change it any time.

Ctrl+Enter to post · anonymous handle · contact details are stripped

0 comments

No comments yet. Start the thread.

Quick answers from people who took it: how it is run, not whether they liked it.

No answers yet. If you have taken this course, a few taps help the next person decide.

Add what you knowStart

Answer only what you know. Tap again to clear an answer.

Attendance is enforced
Grading is relative
Has a course project
Regular quizzes
Lectures are recorded
Past exams are good practice
Workload

Who taught youOptional. Attendance and grading often change with the instructor.

Semester by semester, newest first. A name links to the professor's page where there is one.

Semester 2, 2025-2026
Priyanka Golia
Slot AA · MTh 14:00-15:30

Under its earlier number COL750

Semester 2, 2025-2026
Priyanka Golia
Slot AA · MTh 14:00-15:30
Semester 2, 2024-2025
Priyanka Golia
Slot AC · TF 14:00-15:30
Semester 1, 2024-2025
Kumar Madhukar
Slot AA · MTh 14:00-15:30
Semester 2, 2022-2023
Kumar Madhukar
Slot AA · MTh 14:00-15:30

Offered by

Computer Science and EngineeringDepartment faculty
All its courses