Swiftaid Rodin Event-B models

David Williams (Creator)
Salaheddin Darwish (Creator)
Steve Schneider (Creator)
David R. Michael (Creator)

Dataset

Description

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

Date made available	2020
Publisher	Zenodo

DOI
10.5281/zenodo.3715494

Access Dataset

open

1 Article

Legislation-driven development of a Gift Aid system using Event-B
Williams, D., Darwish, S., Schneider, S. & Michael, D. R., 25 May 2020, (Early online) In: Formal Aspects of Computing.
Research output: Contribution to journal › Article › peer-review

Open Access
File
200 Downloads (Pure)

Cite this