文章分类 -  转载

程序分析与验证中的近似思想
摘要：在程序分析和验证中，最核心的概念当数近似（Approximation）。程序分析中的近似可以分为上近似（过近似，Over-approximation）和下近似（Under-approximation）。我们将程序在执行过程中，所有可能出现的状态视为一个集合，称为程序的实际状态集合，记为C。一般而言， 阅读全文
posted @ 2025-03-19 20:03 kolin2022 阅读(49) 评论(0) 推荐(0)