计划覆盖

• 抽象域
• 不动点
• 静态分析理论基础

原子清单