Review of set theory, the predicate calculus, relations, relational algebra and formal specification concepts; algebraic and model based specifications; the role of formal specifications in software engineering. The Event-B notation, data and algorithm design; data and operation refinement; proofs of correctness; proof obligations. -- Course Website
Prerequisites: FIT2004 and one of MAT1830, MTH1112 or MAT1077
