没有合适的资源?快使用搜索试试~ 我知道了~
使用 Event-B 的系统建模:洞察-研究论文
需积分: 13 3 下载量 52 浏览量
2021-06-10
10:41:17
上传
评论
收藏 776KB PDF 举报
温馨提示
试读
8页
存在多种建模语言和框架用于系统的形式化表示和分析。 本文旨在对基于 Event-B 的模型检查进行深入调查。 事件 B 是从早期的 B 语言演变而来的。 由于它对迭代改进的开放性,它已经引起了工业和学术界的合理关注,这些改进从系统的高级抽象开始验证设计。 Rodin 是一个工具,它为基于 Event-B 的模型检查和数学证明提供开源实现平台。 全球的研究人员正在将事件 B 用于工业自动化、嵌入式和安全关键系统的设计以及更多领域。 该手稿提出了一个经过充分研究的分类,考虑到了应用 Event-B 建模的各种广泛领域。 因此,已经确定了研究空白,以突出事件 B 的未来研究方向和应用领域。
资源推荐
资源评论
资源评论
weixin_38686542
- 粉丝: 1
- 资源: 938
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功