15
500
A Trimester
Hamilton
COMP235 or COMPX361 and a further 45 points at 300 level in Computer Science
COMP452, COMP552
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.
Teaching Periods and Locations
-
20A (HAM)
Hamilton, On-campus20A (HAM)A Trimester :02 Mar 2020 - 28 Jun 2020HamiltonOn-campus100% internal assessment
|
|
|
|
|
---|---|---|---|---|
20A (HAM) Paper outline |
A Trimester : 02 Mar 2020 - 28 Jun 2020 |
Hamilton | On-campus | 100% internal assessment |
If your paper outline is not linked below, try the previous year's version of this paper.
Available subjects
Additional information
- Paper details current as of 1 Jun 2024 10:22am
- Indicative fees current as of 18 Aug 2024 01:20am