2021年11月26日
网络研讨会
seL4 微内核是世界上第一个具有实现正确性和安全执行的数学、机器检查证明的操作系统内核。seL4基金会目前联合国内合作伙伴鉴释，将为广大基金会成员单位提供更多服务，通过线下走访研讨会的方式，了解基金会成员单位对于基金会的期待和需求，以及探讨技术上的支持和合作，致力于推动seL4真正的落地和工程实现。文末附视频回放。
Gernot和June首先回顾介绍seL4的特点和功能，并且重点分享和讨论有关形式化验证技术的落地。会议最后seL4基金会跟地平线团队深入探讨了对于车载操作系统等一系列问题的思考和想法。
点击此处，下载研讨会完整PPT。
观看直播回放
更多活动
活动
活动
活动