- 博客(1)
- 收藏
- 关注
原创 Event-b 学习总结
目录 概念组成语法构成精化和拓展概念Event-b 是一种基于传统的谓词演算和定理证明的形式化语言。Event-b 新的特征是它引入了事件(Event)。事件是event-b的一个重要特征,因此它非常适合用来为周期行为建模。除此之外,Event-b支持逐步精化地建立系统模型。组成一个完整的Event-b 模型包括四部分,Context(上下文) , Mach...
2018-11-06 21:17:40 3891
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人