好好先森&
2022-06-24 14:15
采纳率: 0%
浏览 84
问题最晚将于07月02日00:00点结题

求下面的形式规约怎么写

#define true 1
#define false 0
#define true 1
#define false 0
bool busy[3];
chan up[3] = [1] of { byte };
chan down[3] = [1] of { byte };
mtype = { start, attention, data, stop }
proctype station(,byte id; chan inp, out)
{ do
:: inp?start -> atomic { !busy[id] -> busy[id] = true }; out!attention; do :: inp?data -> out!data
:: inp?stop -> break od; out!stop; busy[id] = false
:: atomic { !busy[id] -> busy[id] = true }; out!start; inp?attention;有谁知道这个代码的形式规约怎么写?

img

  • 写回答
  • 好问题 提建议
  • 追加酬金
  • 关注问题
  • 邀请回答

2条回答 默认 最新

相关推荐 更多相似问题