Open jff opened 5 years ago
Issue by luigiapetre Wednesday Mar 06, 2019 at 14:41 GMT Originally opened as https://github.com/luigiapetre/Formal-Methods-Courses/issues/37
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, Applied Formal Methods Tools used: mCRL2 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, Applied Formal Methods Tools used: mCRL2 Webpage: https://mitpress.mit.edu/books/modeling-and-analysis-communicating-systems Year/Level: MSc