白皮书

鉴释CEO梁宇宁、seL4基金会主席Gernot Heiser 及其 CEO June Andronick，一起通过线上线下方式参与在地平线北京办公室举办的以车载OS为主题的研讨会。本次研讨会也对他们演讲和讨论进行了线上直播，让更多关注seL4的企业和相关人员参与进来。 在会上，梁宇宁主要介绍了车载操作系统的现状以及为什么选择seL4微内核是车载操作系统的最优选。Gernot和June首先回顾介绍seL4的特点和功能，并且重点分享和讨论有关形式化验证技术的落地。请注意，此文档为英文。点击此处观看精彩视频回放。