位置：成果数据库 > 会议 > 会议详情页
Verifying Preemptive Kernel Code with Preemption Control Support
  • 所属机构名称：中国科学技术大学
  • 会议名称：8th International Symposium on Theoretical Aspects of Software Engineering (TASE 2014)
  • 时间：2014.9.1
  • 成果类型：会议
  • 相关项目：操作系统内核中线程管理与中断管理的验证研究
同会议论文项目
操作系统内核中线程管理与中断管理的验证研究
期刊论文 2 会议论文 4
同项目会议论文
Formal Verification of Interrupt Injection in a Hypervisor
Deep Specifications and Certified Abstraction Layers.
Modular verification of concurrent thread management