15
500
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
-
21A (HAM)CancelledContact the School or Faculty Office for more information.
|
|
|
|
|
---|---|---|---|---|
21A (HAM) |
Cancelled | Contact the School or Faculty Office for more information. |
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 15:48pm
- Indicative fees current as of 18 Aug 2024 01:20am