热门城市
- 快召唤伙伴们来围观吧
- 微博 QQ QQ空间 贴吧
- 文档嵌入链接
- <iframe src="https://www.slidestalk.com/u37/fkbv5n?embed" frame border="0" width="640" height="360" scrolling="no" allowfullscreen="true">复制
- 微信扫一扫分享
可信系统的软件构造和验证
点赞
1
收藏
0
下载 0
用形式化验证技术严格证明底层操作系统不会崩溃. 程序验证 .... 并发内核的精化验证& 嵌套多级中断; 对商业化实时嵌入式操作系统μC/OS-II的验证. 第一个商业化 ...
