Model Checking - COMPX552 (2020)
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 |
Semesters and Locations
| Occurrence Code | When taught | Where taught |
|---|---|---|
| 20A (HAM) | A Semester : 2 Mar 2020 - 28 Jun 2020 | Hamilton |
Timetabled Lectures for Model Checking (COMPX552)
| Day | Start | End | Room | Dates |
|---|---|---|---|---|
| Tue | 4:00 PM | 5:00 PM | K.G.01 | Mar 2 - Jun 7 |
| Fri | 12:00 PM | 1:00 PM | K.G.06 | Mar 2 - Jun 7 |
NB:There may be other timetabled events for this paper such as tutorials or workshops.
Visit the online timetable for COMPX552 for more details
Indicative Fees for Model Checking (COMPX552)
| Occurrence | Domestic | International | |
|---|---|---|---|
| Tuition | Resource | ||
| 20A (HAM) | $1052 | $0 | $4293 |
Paper Outlines
The following 2019 paper outlines are available for COMPX552. Please contact the Faculty or School office for details on 2020 outlines.
Additional Information
Available Subjects: Computer Science | Software Engineering
Other available years: Model Checking - COMPX552 (2019)
Paper details current as of : 20 January 2020 2:00pm
Indicative fees current as of : 12 November 2019 11:10am