Skip to content | Change text size

FIT3013 - Formal methods for software engineering

6 points, SCA Band 2, 0.125 EFTSL

Undergraduate Faculty of Information Technology


Not offered in 2007


This unit covers the review of set theory, the predicate calculus, relations, relational algebra and formal specification concepts; algebraic and model based specifications. The Z notation, schemas, schema calculus, schema types and operations; data and algorithm design; data and operation refinement; proofs of correctness. The place of formal methods in software engineering practice.


Assignments: 50%
Examination: 50%

Contact hours

3 hours per week


(FIT2014 or CSE2303) and (FIT2024 or CSE2201) and (MAT1830 or MTH1112 or MAT1077)


CSE4213, GCO4013, SFT3302