申请试用
HOT
登录
注册
 
可信系统的软件构造和验证

可信系统的软件构造和验证

梦里花非花
/
发布于
/
2148
人观看
用形式化验证技术严格证明底层操作系统不会崩溃. 程序验证 .... 并发内核的精化验证& 嵌套多级中断; 对商业化实时嵌入式操作系统μC/OS-II的验证. 第一个商业化 ...
1点赞
0收藏
0下载
确认
3秒后跳转登录页面
去登陆