位置：成果数据库 > 会议 > 会议详情页
Implementation of pointer logic for automated verification
  • 所属机构名称：中国科学技术大学
  • 会议名称：9th International Conference for Young Computer Scientists, ICYCS 2008
  • 成果类型：会议
  • 会场：Zhang Jia Jie, Hunan, China
  • 相关项目：软件安全性的验证和编译
作者： Chen, Yiyun|Tian, Bo|Wang, Zhenming|Wang, Wei|Wang, Zhifang|
同会议论文项目
软件安全性的验证和编译
期刊论文 45 会议论文 11
同项目会议论文
A general framework for certifying garbage collectors and their mutators
A certified thread library for multithreaded user programs
Design of a certifying compiler supporting proof of program safety
Foundational typed assembly language with certified garbage collection
Foundational typed assembly language with certified garbage collection
An open framework for foundational proof-carrying code
An extension to Pointer Logic for verification
A decision procedure for XPath satisfiability in the presence of DTD containing choice
A decision procedure for XPath satisfiability in the presence of DTD containing choice
Certifying low-level programs with hardware interrupts and preemptive threads