基本信息

产品标签: microkernelossel4sel4-microkernel

产品概述: seL4 微内核

官网链接

DOI][4]

媒体账号

统计信息

价格信息

暂无价格信息

热门资讯

暂无热门资讯

用户评价

暂无用户评价

暂无用户评价

最近动态

暂无最近动态

归属团队信息

团队名称: seL4

团队简介: 安全操作系统内核 seL4，服务开发者，提供正式正确性证明构建产品

创始人