rqdmap
博文
/
Posts
算法
/
ACM
漫评
/
Anime
黑洞
/
Archive
关于
/
About
日志
/
Changelog
统计
/
Statistics
订阅
/
RSS
开往
/
Travelling
博文
/
Posts
算法
/
ACM
漫评
/
Anime
黑洞
/
Archive
关于
/
About
日志
/
Changelog
统计
/
Statistics
订阅
/
RSS
开往
/
Travelling
spin
Promela初探
2021.11.29 18:44
2023.06.20 21:58
技术
spin
Promela
协议分析技术
1457字
由于要处理协议分析的大作业，接触了spin和Promela，下面整理一些内容作为记录。 基础语法 参考资料： Promela-维基百科 Promela-Manual 数据类型 内置的基础类型有：bit(u1), bool(u1), byte(u8), short(16), int(32)等， 这里前缀u表示无符号数。 声明一个变量可以类Ctypename name [ = anyexpr ]), 也可以使用这种 ...
创建时间
修改时间
字数