论文研究-基于NuSMV的滑动窗口协议的形式化建模与分析 .pdf

【文件属性】：

文件名称：论文研究-基于NuSMV的滑动窗口协议的形式化建模与分析 .pdf

文件大小：457KB

文件格式：PDF

更新时间：2022-09-10 15:01:01

模型检测

基于NuSMV的滑动窗口协议的形式化建模与分析，赵也非，杨宗源，基于Kripke结构的模型检测技术，能够以穷举系统状态空间的方法，自动推理和证明由时态逻辑描述的系统关键属性。目前，模型检测技术