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.
|Prerequisite(s):||COMP235 or COMPX361 and a further 45 points at 300 level in Computer Science|
|Internal assessment / examination:||100:0|
Trimesters and Locations
|Occurrence Code||When taught||Where taught|
COMPX552-21A (HAM) has been cancelled. Please contact the School or Faculty Office for more information.
|21A (HAM)||A Trimester : 1 Mar 2021 - 27 Jun 2021||Hamilton|
Timetabled Lectures for Model Checking (COMPX552)
There are no timetabled lectures for 2021 occurrences of COMPX552 in 2021.
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)
|Fees Not Available|
The following 2020 paper outlines are available for COMPX552. Please contact the Faculty or School office for details on 2021 outlines.
Paper details current as of : 18 May 2021 9:05am
Indicative fees current as of : 18 May 2021 4:30am