2020年4月13日
Event-B一些基本内容
摘要： 【1】事件上，精化模型的Guard要能推出抽象模型的Guard 【2】抽象模型上新增加的事件，相当于继承自skip Guard: true Actions: a:=a,b:=b,c:=c,... 【3】抽象模型上新增加的事件不能是发散(divergence)，即不能有活锁(没有对外反馈，内部一直执行 阅读全文
posted @ 2020-04-13 15:42 LauZyHou 阅读(400) 评论(0) 推荐(0) 编辑