![基于操作虚拟化及时序逻辑的恶意代码分析]()
论文摘要恶意代码通过多种传播手段,感染文档文件,破坏系统和网络的正常运行,严重威胁系统及信息安全,窃取个人隐私及商业秘密,甚至通过非法手段获取经济利益和军事机密。因此,恶意代码...
![MSVL建模、仿真与验证软件的扩展及其应用]()
论文摘要本文主要讨论基于投影时序逻辑PTL(ProjectionTemporalLogic)的MSVL(Modeling,SimulationandVerificationLa...
![框架时序逻辑程序设计解释器及模型检测工具]()
论文摘要本文主要讨论一个框架时序逻辑程序设计语言FTLL（FramedTemporalLogicProgrammingLanguage）的解释器及一个基于命题投影时序逻辑PPT...
![基于SPIN的命题投影时序逻辑模型检查]()
论文摘要目前软件工业界面临着产品功能越来越复杂和推出产品周期越来越短的双重压力。软件工程的一个主要目标就是在复杂性增加的情况下仍能构造正确可靠的系统。为了达到上述目标,形式化方...
![基于UML与时序逻辑的嵌入式实时软件建模及应用]()
论文摘要嵌入式系统是近年来国内外计算机科学与控制论领域研究的一个热点课题。随着嵌入式系统的规模和复杂性不断增大,建模在嵌入式实时软件开发过程中的作用也越来越重要。统一建模语言U...
![基于无穷模型命题投影时序逻辑的模型检查]()
论文摘要目前软件工业界面临着产品功能越来越复杂和推出产品周期越来越短的双重压力。软件工程的一个主要目标就是在复杂性增加的情况下仍能构造正确可靠的系统。为了达到上述目标,形式化方...
![超协调时序逻辑及其模型检测方法]()
论文摘要传统的观点认为保持系统刻画的协调性1是并发系统开发过程基本的要求,但随着所设计并发系统的规模越来越大,功能越来越复杂,使得自始至终维持系统的协调性成为一个具有挑战性的课...
