命令缓冲区的形式化验证.pptx
文本预览下载声明
命令缓冲区的形式化验证;命令缓冲区的概念及形式建模
模型校验方法概述
显式状态模型中的形式验证
隐式状态模型中的形式验证
基于符号执行的形式验证
模型检查技术在验证中的应用
扩展状态模型中的形式验证
验证工具评估及应用案例;模型校验方法概述;模型校验方法概述;模型校验方法概述;模型校验方法概述;显式状态模型中的形式验证;显式状态模型中的形式验证;显式状态模型中的形式验证;显式状态模型中的形式验证;隐式状态模型中的形式验证;隐式状态模型中的形式验证;隐式状态模型中的形式验证;隐式状态模型中的形式验证;基于符号执行的形式验证;基于符号执行的形式验证;模型检查技术在验证中的应用;模型检查技术在验证中的应用;模型检查技术在验证中的应用;模型检查技术在验证中的应用;扩展状态模型中的形式验证;扩展状态模型中的形式验证;扩展状态模型中的形式验证;扩展状态模型中的形式验证;验证工具评估及应用案例;验证工具评估及应用案例
显示全部