Course code, if applicable:
University hosting the course: TU Delft
Contact person: Jeroen Keiren, j.j.a.keiren@tudelft.nl
Concepts taught: Labelled transition systems, process algebra, behavioural equivalences, mu-calculus, model checking, model based testing, ioco
Tools used: mCRL2
Webpage: https://studiegids.tudelft.nl/a101_displayCourse.do?course_id=45569
Year/Level: MSc
Course code, if applicable: University hosting the course: TU Delft Contact person: Jeroen Keiren, j.j.a.keiren@tudelft.nl Concepts taught: Labelled transition systems, process algebra, behavioural equivalences, mu-calculus, model checking, model based testing, ioco Tools used: mCRL2 Webpage: https://studiegids.tudelft.nl/a101_displayCourse.do?course_id=45569 Year/Level: MSc