Model Checking - COMPX552 (2019)
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.
Paper Information
Points: | 15.0 |
---|---|
Prerequisite(s): | COMP235 or COMPX361 and a further 45 points at 300 level in Computer Science |
Internal assessment / examination: | 100:0 |
Restriction(s): | COMP452, COMP552 |
Trimesters and Locations
Occurrence Code | When taught | Where taught |
---|---|---|
19A (HAM) | A Trimester : 25 Feb 2019 - 23 Jun 2019 | Hamilton |
Timetabled Lectures
The Timetable for 2019 is not available.
Indicative Fees for Model Checking (COMPX552)
Occurrence | Domestic | International | |
---|---|---|---|
Tuition | Resource | ||
19A (HAM) | $1031 | $4209 |
Paper Outlines
The following paper outlines are available for Model Checking (COMPX552).
If your paper occurrence is not listed contact the Faculty or School office.
Additional Information
Available Subjects: Computer Science | Software Engineering
Other available years: Model Checking - COMPX552 (2021) , Model Checking - COMPX552 (2020)
Paper details current as of : 22 March 2024 8:11pm
Indicative fees current as of : 29 March 2024 4:32am