位置：成果数据库 > 会议 > 会议详情页
A Concurrent Temporal Programming Model with Atomic Blocks
  • 所属机构名称：中国科学技术大学苏州研究院
  • 会议名称：14th International Conference on Formal Engineering Methods (ICFEM'12)
  • 时间：2012.11.12
  • 成果类型：会议
  • 相关项目：并发数据结构无锁实现的验证方法研究
作者： 杨潇潇|张昱|付明|冯新宇|
同会议论文项目
并发数据结构无锁实现的验证方法研究
期刊论文 3 会议论文 5
同项目会议论文
A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations
Practical Tactics for Verifying C Programs in Coq
Verifying Preemptive Kernel Code with Preemption<br /> Control Support
A structural approach to prophecy variables