This repository contains my personal solutions for the exercise sheets of the Introduction to Model Checking (Summer Semester 2018) course at RWTH Aachen University.
- Official Course: RWTH Aachen IMC SS18
- Author: Tien Minh
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This repository contains my personal solutions for the exercise sheets of the Introduction to Model Checking (Summer Semester 2018) course at RWTH Aachen University.