Skip to main content
Side panel
IIT Goa
Enter your search query
You are not logged in. (
Log in
)
Indian Institute of Technology Goa
Home
Courses
CSE
Course categories:
Miscellaneous
CSE
EE
EE / EE Autumn 2020-2021 (Sep 2020)
EE / EE Autumn 2021-22 (Aug 2021)
EE / EE Spring 2021-22 (Jan 2022)
EE / EE Autumn 2022-23 (August 2022)
EE / EE Spring 2022-23 (January 2023)
ME
Mathematics
Humanities and Social Sciences (HSS)
Humanities and Social Sciences (HSS) / Spring 23
Physics
Chemistry
Mathematics & Computing
Physical Education
Search courses
Go
«
Previous
1
2
(current)
CS 570-Model Checking and Software Verification
«
Previous
1
2
(current)
Home