主页 / INSEC WORLD成都·世界信息安全大会 / 迈向“零漏报”: 快速高效的下一代形式化验证技术
-
作者李隆、卜祥敏
-
简介
- 爱科识自主研发解决方案
- 为什么漏报很重要？
- 为什么“零漏报”难以实现？
- 例子：空指针引用的有限状态机抽象
- 爱科识有限状态机抽象构建过程
- 爱科识程序分析技术
- 评测：耗时与内存占用
- 评测：准确度
- 评测：跨函数
- 鉴释未来发展方向
-
提示本站仅做资料的整理和索引,转载引用请注明出处
相关推荐
-
2018-02-09 09:37:07 -
2018-01-09 07:55:48 -
2016-09-05 13:08:29 -
2021-05-08 14:42:59.778393
附件下载
-
迈向“零漏报”：快速高效的下一代形式化验证技术.pdf