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

Name: Data set supporting "Developing safe exception recovery mechanisms for CHERI capability hardware using UML-B formal analysis"
Creator: University of Southampton
Published: 2025-04-23T11:43:37+08:00

DataCite Commons2025-04-23 更新2025-05-18 收录

硬件验证

形式化方法

数据链接：

https://eprints.soton.ac.uk/500162/数据链接链接失效反馈

官方服务：

资源简介：

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.

提供机构：

University of Southampton

创建时间：

2025-04-23