Promela

Promela初探

 2021.11.29 18:44  2023.06.20 21:58  技术  spin  Promela  协议分析技术 󰈭 1487字

由于要处理协议分析的大作业，接触了spin和Promela，下面整理一些内容作为记录。基础语法参考资料： Promela-维基百科 Promela-Manual 数据类型内置的基础类型有：bit(u1), bool(u1), byte(u8), short(16), int(32)等，这里前缀u表示无符号数。声明一个变量可以类Ctypename name [ = anyexpr ]), 也可以使用这种语法unsigned name : constant [ = anyexpr ], 这样将声明一个占用conststant位的无符号数。当初始化的值超出了数据类型能表示的范围后，数值将会被截断造成信息的损失，spin只会在随机或指定的模拟下会警告该情况。 ...