309418 (v.1) Formal Methods in Software Validation 603

Area:

Department of Computing

Credits:

25.0

Contact Hours:

3.0

** The tuition pattern below provides details of the types of classes and their duration. This is to be used as a guide only. For more precise information please check your unit outline. **

Workshop:

1 x 3 Hours Weekly

Syllabus:

This unit is designed for students in the Master of Science (Computer Science). An in-depth treatment into the formal verification of software systems based on propositional and predicate calculus and set theory. Topics include formal reasoning, theorem proving and logic programming, soundness and completeness, deductive proofs, deductive systems, binary decision diagrams, finite and infinite models, decidability, logic programming, semantics and verification and model specification with Z and other formal modelling languages. The application of formal methods to clean-room software verification is presented.

** To ensure that the most up-to-date information about unit references, texts and outcomes appears, they will be provided in your unit outline prior to commencement. **

Field of Education:

020101 Formal Language Theory

Funding Cluster:

06 - Computing, Built Environment, Health

SOLT (Online) Definitions*:

Supplemental
*Extent to which this unit or thesis utilises online information

Result Type:

Grade/Mark

Availability

Year	Location	Period	Internal	Partially Online Internal	Area External	Central External	Fully Online
2006	Bentley Campus	Semester 1	Y

Area External	refers to external course/units run by the School or Department or offered by research.
Central External	refers to external and online course/units run through the Curtin Bentley-based Distance Education Area
Partially Online Internal	refers to some (a portion of) learning provided by interacting with or downloading pre-packaged material from the Internet but with regular and ongoing participation with a face-to-face component retained. Excludes partially online internal course/units run through the Curtin Bentley-based Distance Education Area which remain Central External
Fully Online	refers to the main (larger portion of) mode of learning provided via Internet interaction (including the downloading of pre-packaged material on the Internet). Excludes online course/units run through the Curtin Bentley-based Distance Education Area which remain Central External