SMUFN310 - UE Model checking

In this course we will study transition systems, temporal logic and model checking algorithms.