Course code, if applicable:
University hosting the course: Eindhoven University of Technology
Contact person: Jan Friso Groote, J.F.Groote@tue.nl
Concepts taught: Behavioural equivalences, behavioural modelling, reasoning about processes, modal logics (modal mu-calculus), application to an industrial case study.
Tools used: mCRL2 (www.mcrl2.org)
Webpage: https://mitpress.mit.edu/books/modeling-and-analysis-communicating-systems
Year/Level: MSc
Course code, if applicable: University hosting the course: Eindhoven University of Technology Contact person: Jan Friso Groote, J.F.Groote@tue.nl Concepts taught: Behavioural equivalences, behavioural modelling, reasoning about processes, modal logics (modal mu-calculus), application to an industrial case study. Tools used: mCRL2 (www.mcrl2.org) Webpage: https://mitpress.mit.edu/books/modeling-and-analysis-communicating-systems Year/Level: MSc