白皮书

鉴释受邀在德国慕尼黑开幕的seL4峰会上发表演讲。

本次演讲分享了鉴释在分析seL4内核代码覆盖率方面的工作。同时介绍测量结果和提高代码覆盖率的方法。 在峰会上，我们主要分享了如何让seL4符合ISO 26262标准的方法和进展。

请填写下表获取演讲全文下载。