Data set supporting "Developing safe exception recovery mechanisms for CHERI capability hardware using UML-B formal analysis"
收藏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
