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