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