COMP2214 Advanced Software Modelling and Design

Collection items

[img] [img]
COMP2214 - Lecture 00 - Introduction
Introductory slides

Shared with the University by
[img]
COMP2214 - Lecture 01 - Proof-based verification in Event-B
Proof-based verification in Event-B

Shared with the University by
[img]
[img]
[img]
COMP2214 - Lecture 05 - Tree File
- Tree file system - Transitive Closure

Shared with the University by
[img] [img]
COMP2214 - Lecture 04 - Set Theory
A refresher on Set Theory

Shared with the University by
[img]
[img]
[img] [img]
[img] [img]
COMP2214 - Lecture 08 - Extension Refinement
- Abstraction & Refinement - Extension Refinement

Shared with the University by
[img] [img]
COMP2214 - Tutorial 04 - Fixing models using failing proofs
Fixing models using failing proofs

Shared with the University by
[img] [img]
[img] [img]
[img] [img]
[img] [img]
[img] [img]
[img]
COMP2214 - Lecture 13 - Contracts
Slides from Prof Michael Butler

Shared with the University by
[img] [img]
[img]
COMP2214 - Lecture 14 - Loops
Reasoning about looping programs

Shared with the University by
[img] [img]
COMP2214 - Lecture 15 - Verification in Dafny
Verification in Dafny

Shared with the University by
[img] [img]
[img] [img]
[img]
[img]
[img]
[img]
[img] [img]
COMP2214 - Lecture 21 - Revision
Revision lecture

Shared with the University by

COMP2214 Advanced Software Modelling and Design

Actions (login required)

View Item View Item

Toolbox

There are no actions available for this resource.