15

500

A Trimester

Hamilton

COMP235 and 60 points at 300 level in Computer Science.

COMP452

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

18A (HAM)
Paper outline
A Trimester :
26 Feb 2018 - 24 Jun 2018
Hamilton On-campus 100% internal assessment

Timetabled lectures and tutorials

18A (HAM)
Name Day Time Room Dates
Lecture 1 Tue 4:00 PM - 5:00 PM - Feb 27 - Jun 3
Lecture 2 Fri 10:00 AM - 11:00 AM I.1.09, Hamilton Mar 2 - Jun 3
Visit the online timetable for this paper for more details

Indicative Fees

  • You will be sent an enrolment agreement which will confirm your fees. Tuition fees shown are indicative only and may change. There are additional fees and charges related to enrolment - please see the Table of Fees and Charges for more information.

Domestic
International
18A (HAM) $1,011

You will be sent an enrolment agreement which will confirm your fees. Tuition fees shown are indicative only and may change. There are additional fees and charges related to enrolment - please see the Table of Fees and Charges for more information.

18A (HAM) $4,008

You will be sent an enrolment agreement which will confirm your fees. Tuition fees shown are indicative only and may change. There are additional fees and charges related to enrolment - please see the Table of Fees and Charges for more information.

Available subjects

Additional information

  • Paper details current as of 31 May 2024 18:22pm
  • Indicative fees current as of 2 Jun 2024 01:20am