语法重定序相关硕士博士期刊学术论文 - 搜论网

语法重定序相关论文

模型检测形式化分析中若干关键问题研究

模型检测是近二十年来最成功的形式化自动验证技术之一。其因自动化程度高,效率高等优点而被广泛应用于并发系统的分析与验证中。......

学位

模型检测形式化分析 SPIN 反例语法重定序扩充Promela

模型检测中反例最小化分析

介绍了Gastin.P最小反例的算法思想,然后结合著名的Needham-Schroeder公钥身份认证协议进行了非形式化分析,实例分析的结果表明,算......

期刊

模型检测反例非形式化方法语法重定序

看过本文同时还关注