# Dataset supporting "Developing safe exception recovery mechanisms for CHERI capability hardware using UML-B formal analysis"

This dataset supports our paper:
"Developing safe exception recovery mechanisms for CHERI capability hardware using UML-B formal analysis"
which is accepted for ABZ2025 conference.

The DOI for the dataset is: https://doi.org/10.5258/SOTON/D3452

The dataset consists of an archive file containing Event-B projects:
- *ABZ2025_SBB.zip*: Event-B models for SBB case study. This archieve
  contains 4 different projects corresponding to different steps as
  described in the accompanying paper for ABZ2025.

The best way to view the models is to load them into the Rodin platform 

License: CC BY

Installation
============

Install Rodin 3.7.0 Releases Bundle, which can be downloaded from
https://www.uml-b.org/Downloads.html

Open Rodin and import _Existing Projects_ from archive file as follows:

'File-Import'

select:
  'General - Existing Projects into Workspace'   (DO NOT SELECT 'ARCHIVE FILE' AT THIS  STAGE)

click on 'Next': 
  select 'Select archive file:' and  browse to 'ABZ2025_SBB.zip',
  select all projects and click 'Finish'