Open luigiapetre opened 5 years ago
Course code, if applicable: University hosting the course: University of Luxembourg Contact person: Jun Pang, jun.pang@uni.lu Concepts taught: transition systems, linear-time properties, omega-regular properties, Buchi automata, LTL, CTL, LTL model checking, CTL model checking Tools used: Spin Webpage: https://wwwen.uni.lu/studies/fstc/bachelor_in_computer_science/programme Year/level: 2
Course code, if applicable: University hosting the course: University of Luxembourg Contact person: Jun Pang, jun.pang@uni.lu Concepts taught: transition systems, linear-time properties, omega-regular properties, Buchi automata, LTL, CTL, LTL model checking, CTL model checking Tools used: Spin Webpage: https://wwwen.uni.lu/studies/fstc/bachelor_in_computer_science/programme Year/level: 2