位置：成果数据库 > 期刊 > 期刊详情页
Automated verification of pointer programs in pointer logic
  • ISSN号：1932-7447
  • 期刊名称：Journal of Physical Chemistry C
  • 时间：0
  • 页码：13098-13105
  • 语言：英文
  • 相关项目：软件安全性的验证和编译
作者： Wang, Zhifang|Hua, Baojian|Chen, Yiyun|Wang, Zhenming|
同期刊论文项目
软件安全性的验证和编译
期刊论文 45 会议论文 11
同项目期刊论文
A comparable code obfuscation framework measuring efficiency based on abstract interpretation
A pointer logic and certifying compiler
利用 Java 即时编译器自动外提循环中的同步操作
一个用于指针程序验证的自动定理证明器的设计与实现
一种基于流图变换的代码迷惑算法
Java程序数据竞争的增量式检测
一个关于程序时间性质的验证框架
一种汇编语言指针逻辑的设计与实现
Certifying concurrent programs using transactional memory
一个出具证明编译器后端的设计与实现
渐进式标记-清扫垃圾收集机制验证
安全语言PointerC的设计及形式证明
代码迷惑技术研究进展
DTD可选的XML访问控制研究
带Order子句的XQuery在XML流上的查询实现
一种汇编程序的形式验证框架
一种用于指针程序安全性证明的指针逻辑
一个经过证明的类型化汇编语言的类型检查器
一种构造代码安全性证明的方法
XQuery在XML流上查询的结构化连接
基于语义的恶意软件判定器框架
汇编代码验证中的形式规范自动生成
一个支持位运算形式化推理的抽象机
动态存储管理安全验证的Coq实现
一个出具证明编译器原型系统的实现
Garbage collector verification for proof-carrying code
即时编译器辅助的垃圾收集中的插桩算法研究
利用Java即时编译器自动外提循环中的同步操作
用于指针逻辑的自动定理证明器