位置：成果数据库 > 期刊 > 期刊详情页
Automated theorem prover for pointer logic
  • 期刊名称：Ruan Jian Xue Bao/Journal of Software
  • 时间：0
  • 页码：2037-2050
  • 语言：英文
  • 相关项目：面向携带证明软件设计的语言、逻辑和证明
作者： Chen, Yi-Yun|Wang, Zhi-Fang|Wang, Zhen-Ming|
同期刊论文项目
面向携带证明软件设计的语言、逻辑和证明
期刊论文 35 会议论文 10
同项目期刊论文
验证带有线程的动态创建和退出的多线程程序
一个用于指针程序验证的自动定理证明器的设计与实现
Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads (Extended Version)
Verification of an Incremental Garbage Collector in Hoare-Style Logic
一个关于程序时间性质的验证框架
一种汇编语言指针逻辑的设计与实现
Certifying concurrent programs using transactional memory
一种用于指针程序验证的指针逻辑
Certification of Thread Context Switching
Formal reasoning about lazy-STM programs
处理指针相等关系不确定的指针逻辑
一种汇编程序的形式验证框架
一种用于指针程序安全性证明的指针逻辑
一个经过证明的类型化汇编语言的类型检查器
一种构造代码安全性证明的方法
一种动态共享数据结构的并发访问控制分析方法
一种含共享变量维持声明的并行程序语言
出具证明编译器中代码优化与程序规范转换
一种面向动态链状数据结构的指针定值引用链算法
一种出具证明编译器中的汇编级断言和证明生成的方法
出具证明编译器中线性整数命题证明的自动生成
一种择优配种的实数编码遗传算法
基于OLAP技术的发电集团战略决策分析系统
用于指针逻辑的自动定理证明器