开源工场 · 2024-04-30T02:33:51Z 苹果公司正式加入 seL4 基金会 💡 原文中文，约800字，阅读约需2分钟。 📝 内容提要 苹果公司加入seL4基金会，成为普通会员，具有投票权。seL4是第一个通过形式验证的安全操作系统内核，对航空航天、自动驾驶汽车、医疗设备等行业具有重要意义。 🏷️ 标签 seL4基金会 基金会 安全操作系统内核 形式验证 航空航天 苹果公司 阅读原文 生成长图 分享链接 已复制链接
