Course Algorithms for Model checking (IN4357)