Modules / Lectures
Module NameDownloadDescriptionDownload Size
Introduction to model checkingWeek 1 AssignmentWeek 1 Assignment 1153 kb
Introduction to model checkingAssignment IAssignment I Solutions6 kb
Introduction to model checkingAssignment IAssignment I Questions19 kb
Model checker NuSMVWeek 2 AssignmentWeek 2 Assignment 1177 kb
Linear-time propertiesWeek 3 AssignmentWeek 3 Assignment 1172 kb
Linear-time propertiesAssignment IIAssignment II Solutions45 kb
Linear-time propertiesAssignment IIAssignment II Questions97 kb
Regular propertiesAssignment IIIAssignment III Questions118 kb
Regular propertiesAssignment IIIAssignment III Solutions145 kb
Regular propertiesWeek 4 AssignmentWeek 4 Assignment 1236 kb
Omega-regular propertiesAssignment IVAssignment IV Questions32 kb
Omega-regular propertiesAssignment IVAssignment IV Solutions118 kb
Omega-regular propertiesWeek 5 AssignmentWeek 5 Assignment 1241 kb
Model-checking omega-regular propertiesWeek 6 AssignmentWeek 6 Assignment 1178 kb
Linear Temporal LogicWeek 7 AssignmentWeek 7 Assignment 1136 kb
Algorithms for LTLAssignment VAssignment V Questions32 kb
Algorithms for LTLAssignment VAssignment V Solutions8 kb
Algorithms for LTLWeek 8 AssignmentWeek 8 Assignment 1165 kb
Computation Tree LogicWeek 9 AssignmentWeek 9 Assignment 1147 kb
Algorithms for CTLWeek 10 AssignmentWeek 10 Assignment 1154 kb
Binary Decision Diagrams (BDDs)Week 11 AssignmentWeek 11 Assignment 1227 kb
Modeling timing constraintsWeek 12 AssignmentWeek 12 Assignment 1153 kb


New Assignments
Module NameDownload
noc18_cs49_Assignment - 8 noc18_cs49_Assignment - 8
noc18_cs49_Assignment1noc18_cs49_Assignment1
noc18_cs49_Assignment10noc18_cs49_Assignment10
noc18_cs49_Assignment11noc18_cs49_Assignment11
noc18_cs49_Assignment12noc18_cs49_Assignment12
noc18_cs49_Assignment2noc18_cs49_Assignment2
noc18_cs49_Assignment3noc18_cs49_Assignment3
noc18_cs49_Assignment4noc18_cs49_Assignment4
noc18_cs49_Assignment6noc18_cs49_Assignment6
noc18_cs49_Assignment7noc18_cs49_Assignment7
noc18_cs49_Assignment9noc18_cs49_Assignment9
noc18_cs49_assignment5noc18_cs49_assignment5