This project was for a course at TU/e called System Validation. The goal is to create an architecture with parallel components and use formal model checking to evaluate the model. It is strongly advised for students following this course at TU/e to look away now. Any attempt to implement similar mu-calculus formulae or requirements will most definitely be caught and punished.
