首页
标签
event-b
如何在事件 b 中用公理填充关系
如何修复 Rodin Platform Event-B 项目中的未知配置 org.animb.valuation.valBase？
事件 B 证明义务
获取变量的 prime/next 状态
Event-B，形式化建模：如何影响一个集合的所有元素到一个关系