OfferedCourse_27
OfferedCourse_27
course-objectives
After taking this course, stud ...... ithms presented in the course.
courseDescription
In these lectures, we study th ...... solving the latter artefacts.
courseTitle
Algorithms for model checking
grading
Assignment; Final Examination
studyProgram
teacher
URI
https://tue.osiris-student.nl/ ...... IMF35&collegejaar=2020&taal=en
courseCode
coursePrerequisites
Some mathematical maturity and ...... te the theory and application.