Course code, if applicable: CSSE7610
University hosting the course: The University of Queensland
Contact person: Graeme Smith, smith@itee.uq.edu.au
Concepts taught: Model Checking
Tools used: SPIN
Webpage: https://my.uq.edu.au/programs-courses/course.html?course_code=csse7610
Year/Level: MSc
Course code, if applicable: CSSE7610 University hosting the course: The University of Queensland Contact person: Graeme Smith, smith@itee.uq.edu.au Concepts taught: Model Checking Tools used: SPIN Webpage: https://my.uq.edu.au/programs-courses/course.html?course_code=csse7610 Year/Level: MSc