Published March 18, 2020 | Version v1
Other Open

Swiftaid Rodin Event-B models

Creators

  • 1. University of Portsmouth
  • 2. Royal Holloway, University of London
  • 3. University of Surrey
  • 4. Streeva Ltd

Description

This repository contains the formal Event-B models of the Swiftaid system for automated Gift Aid that were developed using the Rodin tool.

Files

Installation Notes - Install and use Rodin-v1.pdf

Files (2.1 MB)

Name Size Download all
md5:f52ab8371fb9ad72677e16dcf5ac7d6f
980.0 kB Preview Download
md5:9ee4f778f1f9e55b1073f2a589496422
117.2 kB Preview Download
md5:f96899a6f77e01f33432f18cb4515be2
962.6 kB Preview Download

Additional details

Funding

Swift Aid 133294
UK Research and Innovation