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 | Software Engineering
Other available years: Model Checking - COMP452 (2017)
Paper details current as of : 13 March 2018 10:10am
Indicative fees current as of : 17 March 2018 4:30am