Open luigiapetre opened 5 years ago
Course code, if applicable: University hosting the course: Canvas MOOC Platform Contact person: Mohammad Reza Mousavi, mm789@le.ac.uk Concepts taught: Formal Verification, Model Checking, Process Algebra, Behavioural Equivalences Tools used: mCRL2 (www.mcrl2.org) Webpage: https://www.canvas.net/browse/halmstad/courses/system-validation, https://ocw.tudelft.nl/courses/system-validation/ Year/Level: MSc
Course code, if applicable: University hosting the course: Canvas MOOC Platform Contact person: Mohammad Reza Mousavi, mm789@le.ac.uk Concepts taught: Formal Verification, Model Checking, Process Algebra, Behavioural Equivalences Tools used: mCRL2 (www.mcrl2.org) Webpage: https://www.canvas.net/browse/halmstad/courses/system-validation, https://ocw.tudelft.nl/courses/system-validation/ Year/Level: MSc