位置：成果数据库 > 会议 > 会议详情页
Practical Tactics for Verifying C Programs in Coq
  • 所属机构名称：中国科学技术大学苏州研究院
  • 会议名称：The 4th ACM-SIGPLAN Conference on Certified Programs and Proofs
  • 时间：2015.1.13
  • 成果类型：会议
  • 相关项目：并发数据结构无锁实现的验证方法研究
作者： Cao Jingyuan|Fu Ming|Feng Xinyu|
同会议论文项目
并发数据结构无锁实现的验证方法研究
期刊论文 3 会议论文 5
同项目会议论文
A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations
Verifying Preemptive Kernel Code with Preemption<br /> Control Support
A structural approach to prophecy variables
A Concurrent Temporal Programming Model with Atomic Blocks