Dataset for "Formal verification of run-to-completion style statecharts using Event-B"
收藏DataCite Commons2020-09-17 更新2025-04-17 收录
下载链接：
http://eprints.soton.ac.uk/id/eprint/443884
下载链接
链接失效反馈官方服务：
资源简介：
Formal models and verification for case study supporting paper "Formal verification of run-to-completion style statecharts using Event-B" accepted for the Detect 2020 workshop. SCXML model, generated Event-B, LTL expression for temporal verification
提供机构：
University of Southampton
创建时间：
2020-09-17
