罗伯特·巴格纳拉;帕特里夏·M·希尔。;Ricci,Elisa利玛窦;埃纳州扎法内拉 凸多面体的精确加宽算子。 (英语) Zbl 1088.68173号 科学。计算。程序。 58,第1-2号,28-56(2005). 摘要:在通过抽象解释进行静态分析的背景下,凸多面体构成了捕获数值关系信息的最常用的抽象域。由于凸多面体的域允许无限上升链,因此必须结合适当的机制来加强和加速不动点计算的收敛。加宽算子为此类机制提供了简单而通用的特征。对于凸多面体的域,由Cousot和Halbwachs提出的原始加宽算子完全值得称为标准加宽,因为大多数使用凸多面角的分析和验证工具也使用该算子。尽管如此,对更精确的加宽运营商的需求仍未满足。在本文中,在对标准加宽进行了正式介绍之后,我们澄清了一些经常被忽视的方面,然后着手进行改进这项具有挑战性的任务。我们提出了一个新加宽算子的系统定义框架,其精确性决不会低于给定加宽。然后在凸多面体域上对框架进行实例化,以获得一个新的加宽算子,该算子通过组合多种启发式算法改进了标准加宽。初步的实验评估取得了可喜的结果。我们还建议改进众所周知的加宽延迟技术,使其在保持整体简单性的同时获得精度。 引用于15文件 MSC公司: 68单位05 计算机图形;计算几何(数字和算法方面) 关键词:抽象解释;拓宽运营商;凸多面体 PDF格式BibTeX公司 XML格式引用 \textit{R.Bagnara}等人,科学。计算。程序。58,第1-2,28-56号(2005年;兹bl 1088.68173) 全文: 内政部