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.
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.