This paper shows how reactive systems can be modelled and analysed using finite-state machines and temporal logic, and how model checking tools can be used to verify crucial properties of safety-critical systems. It also provides an introduction into the algorithms and data structures used to model check very large finite-state systems.
||COMP235 and 60 points at 300 level in Computer Science.
|Internal assessment / examination:
Semesters and Locations
|18A (HAM)||A Semester : Feb 26 - Jun 24, 2018
Available Subjects: Computer Science
Other available years: Model Checking - COMP552 (2017)
Paper details current as of : 13 December 2017 3:08pm
Indicative fees current as of : 14 December 2017 4:30am