COMP2214 - Past Exams - EdShare Southampton

AY2018-19 Paper

Text

Download (106kB)

AY2018-19 Proof rules

Text

Download (81kB)

AY2019-20 Paper

Text

Download (80kB)

AY2019-20 Inference rules

Text

Download (78kB)

AY2019-20 Rewrite Rules

Text

Download (51kB)

AY2020-21 Paper

Text

Download (83kB)

AY2020-21 Inference Rules

Text

Download (65kB)

AY2021-22 Paper

Text

Download (100kB)

AY2021-22 Proof rules

Text

Download (55kB)

AY2022-23 Paper

Text

Download (151kB)

AY2022-23 Proof Rules

Text

Download (70kB)

11 files in this resource

COMP2214 - Past Exams

Past exams paper for COMP2214.

Added By:	Dr Son Hoang
Date Added:	18 Mar 2025 12:57
Creators Name:	Dr Son Hoang
Tags:	Event-B, SPARK, modelling, formal methods, software engineering
Viewing permissions:	University
Course codes:	COMP2214
Link:	http://edshare.soton.ac.uk/id/eprint/22256
Downloads & Views