操作系统内核中线程管理与中断管理的验证研究
61202052
2012
F0201.计算机科学的基础理论
郭宇
青年科学基金项目
副研究员
中国科学技术大学
23万元
中断管理;线程管理;操作系统内核;程序验证
2013-01-01到2015-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | Deep Specifications and Certified Abstraction Layers. | 会议论文 | |
| 2 | μC/OS-Ⅲ任务调度器在Coq中的验证 | 期刊论文 | 罗尔聪|郭宇| |
| 3 | Modular verification of concurrent thread management | 会议论文 | |
| 4 | Verifying Preemptive Kernel Code with Preemption Control Support | 会议论文 | |
| 5 | Formal Verification of Interrupt Injection in a Hypervisor | 会议论文 | |
| 6 | 针对NAND闪存硬件的形式化建模 | 期刊论文 | 杨龙婴|郭宇| |
查看更多信息请先登录或注册
