申请试用
HOT
登录
注册
 
可信系统的软件构造和验证
1 点赞
0 收藏
0下载
梦里花非花
/
发布于
/
1918
人观看
用形式化验证技术严格证明底层操作系统不会崩溃. 程序验证 .... 并发内核的精化验证& 嵌套多级中断; 对商业化实时嵌入式操作系统μC/OS-II的验证. 第一个商业化 ...
展开查看详情
1 点赞
0 收藏
0下载