name: 抽象域库 description: 用于静态分析和抽象解释的抽象域库 allowed-tools:
- Bash
- Read
- Write
- Edit
- Glob
- Grep metadata: specialization: 计算机科学 domain: 科学 category: 形式化验证 phase: 6
抽象域库
目的
为基于抽象解释的静态分析提供关于抽象域的专家指导。
能力
- 区间域
- 八边形域
- 多面体域
- 同余域
- 域组合（约简积）
- 拓宽和缩窄算子
使用指南
- 域选择：选择合适的抽象域
- 操作：实现域操作
- 拓宽：设计用于终止的拓宽算子
- 精度调优：平衡精度和效率
- 组合：组合域以提高精度
工具/库
- Apron
- ELINA
- Crab
- Frama-C