HI，欢迎来到学术之家，发表咨询：400-888-7501  订阅咨询：400-888-7502  股权代码  102064
经营许可 杂志订阅 支付方式
首页 期刊 杂志 SCI 发表 出版社
0
首页 论文大全 hoare逻辑论文 列表
期刊分类
不限
期刊收录
不限
出版地区
不限
一种验证指针程序的方法第9-11页
关键词: hoare逻辑  形状图逻辑  程序分析  分离逻辑  
2011年第16期 《信息技术与网络安全》
一种基于栈区内存模型的C程序别名判断算法第353-358页
关键词: 程序验证  hoare逻辑  内存模型  别名  栈区  
2019年第02期 《小型微型计算机系统》
关于断言语言中引入逻辑变量的研究第925-929页
关键词: hoare逻辑  形式化验证  逻辑变量  断言语言  
2017年第05期 《小型微型计算机系统》
栈指针程序的形式验证第936-940页
关键词: 程序验证  栈指针  静态区指针  路径别名  hoare逻辑  
2017年第05期 《小型微型计算机系统》
一个支持位运算形式化推理的抽象机第88-92页
关键词: 形式化方法  程序验证  hoare逻辑  程序设计中的逻辑  
2007年第01期 《小型微型计算机系统》
基于分离逻辑的程序分析技术第63-67页
关键词: 分离逻辑  程序分析  hoare逻辑  形态分析  
2012年第06期 《火力与指挥控制》
一种验证指针程序的方法第9-11页
关键词: hoare逻辑  形状图逻辑  程序分析  分离逻辑  
2011年第16期 《微型机与应用》
处理指针相等关系不确定的指针逻辑第334-343页
关键词: 软件安全  
2010年第02期 《软件学报》
一种用于指针程序验证的指针逻辑第415-426页
关键词: 软件安全  hoare逻辑  指针逻辑  携带证明的代码  出具证明的编译器  
2010年第03期 《软件学报》
利用基因表达式编程自动生成循环不变式第7-10页
关键词: 循环不变式  hoare逻辑  符号回归  基因表达式编程  
2009年第07期 《计算机与数字工程》
使用组合协议逻辑PCL验证第13-15页
关键词: pcl  安全协议  
2008年第11期 《计算机工程与科学》
一种基于规则的语言的公理语义第86-88页
关键词: 规则  逻辑规则描述语言  公理语义  hoare逻辑  形式语法  
2008年第20期 《计算机工程与应用》
程序断言的半自动生成及证明逻辑第18-20页
关键词: hoare逻辑  序验证  程序断言  
2008年第14期 《计算机工程与应用》
一种汇编程序的形式验证框架第825-833页
关键词: 软件安全  出具证明编译器  指针逻辑  hoare逻辑  携带证明的汇编程序  
2008年第05期 《计算机研究与发展》
安全语言PointerC的设计及形式证明第556-564页
关键词: 软件安全  语言设计  类型系统  hoare逻辑  指针逻辑  
2008年第04期 《计算机学报》
一种用于指针程序安全性证明的指针逻辑第372-380页
关键词: 软件安全  指针逻辑  hoare逻辑  指针分析  类型系统  
2008年第03期 《计算机学报》
一种汇编语言指针逻辑的设计与实现第1025-1030页
关键词: 软件安全  指针逻辑  hoare逻辑  携带证明的汇编程序  
2009年第06期 《小型微型计算机系统》
基于遗传规划寻找循环不变式的方法第-页
关键词: 循环不变式  hoare逻辑  符号回归  遗传规划  
2009年第02期 《计算机时代》
基于Hoare逻辑的过程调用的形式化方法第197-201页
关键词: hoare逻辑  过程语义  过程调用语义  前置条件  后置条件  
2011年第01期 《计算机工程与设计》
基于依赖分析的并行化验证策略第64-65页
关键词: hoare逻辑  依赖分析  并行验证  
2010年第12期 《计算机工程》
期刊导航