下推系统相关论文
形式验证的方法主要有模型检测和演绎推理两种。模型检测的优点是验证过程是自动的，缺点是具有状态爆炸问题，不利于处理大型系统。演......
本文致力于基于余代数的模型检测和定理证明。
形式化验证的一种主要方法是模型检测，其优势是可以自动化，并能在系统不满足性质......
模型检查是一种非常重要的形式化验证技术,它利用状态空间搜索来探索所有可能的系统状态。以这种方式,可以检查给定的系统是否满足......
随着互联网的飞速发展人们的生活与互联网的联系变得越来越紧密,国家也提出了“互联网+”战略来促进社会发展。确保互联网的安全已......
提出了一种对含输出信道的命令式语言进行信息流安全性分析的方法。将程序抽象为下推系统,通过自合成将不干涉性转化为安全性属性,......
针对程序语言信息流安全领域的现有机密消去策略，提出了一种基于下推系统可达性分析的程序信息流安全验证机制．将存储．匹配操作内嵌于......
