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

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

Computer Science

Additional information

Subject regulations

COMP552