位置：成果数据库 > 会议 > 会议详情页
An extension to Pointer Logic for verification
  • 所属机构名称：中国科学技术大学
  • 会议名称：2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008
  • 成果类型：会议
  • 会场：Nanjing, China
  • 相关项目：软件安全性的验证和编译
作者： Zhenming, Wang|Wei, Wang|Yiyun, Chen|Zhifang, Wang|Bo, Tian|
同会议论文项目
软件安全性的验证和编译
期刊论文 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
Implementation of pointer logic for automated 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