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

【文件属性】：
文件名称：论文研究-基于NuSMV的滑动窗口协议的形式化建模与分析 .pdf
文件大小：457KB
文件格式：PDF
更新时间：2022-09-10 15:01:01
模型检测 基于NuSMV的滑动窗口协议的形式化建模与分析，赵也非，杨宗源，基于Kripke结构的模型检测技术，能够以穷举系统状态空间的方法，自动推理和证明由时态逻辑描述的系统关键属性。目前，模型检测技术