有界模型检查相关论文
语义标识的过程模型是基于领域本体对过程模型中活动的前置条件&效果进行标识后所产生的模型.语义过程模型的可执行性问题是确保语......
引入模型检查方法对可执行文件进行脆弱性分析。对可执行文件形式化建模,采用有界模型检查技术验证可执行文件的安全属性,并在X86体......