文件下载

鉴释参加seL4 2022全球峰会演讲

2022-11-01 | 演讲 | 作者: Yuning Liang

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

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

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

 

 

请填写表格下载

    • 点击‘下载’提交此表格,即表示您同意让销售人员就我们的服务与您取得联系
    • 点击‘下载’提交此表格,即表示您同意鉴释隐私政策中有关个人数据的条款和条件

通过使用我们的网站,表明您已经阅读并理解我们的Cookie政策及隐私政策