IA169 Model Checking

Symbolic model checking for CTL

Slides above do not cover the whole lecture and we used the slides below for the second half. The slidesabove will be evenatually completed and updated to cover the whole lecture.