Closed luigiapetre closed 5 years ago
Course code, if applicable: University hosting the course: University of Luxembourg Contact person: Jun Pang, jun.pang@uni.lu Concepts taught: Alloy, process algebra, mu-calculus, model checking, mcrl2 Tools used: Alloy, mcrl2 Webpage: https://wwwen.uni.lu/studies/fstc/master_in_information_and_computer_sciences/programme
Course code, if applicable: University hosting the course: University of Luxembourg Contact person: Jun Pang, jun.pang@uni.lu Concepts taught: Alloy, process algebra, mu-calculus, model checking, mcrl2 Tools used: Alloy, mcrl2 Webpage: https://wwwen.uni.lu/studies/fstc/master_in_information_and_computer_sciences/programme