Lakhdar-Chaouch，谎言;贝特朗·珍妮特;阿兰·吉拉尔 对于具有复杂控制图的程序，使用阈值进行加宽。 （英语） Zbl 1348.68040号 Bultan，Tevfik（编辑）等人，《验证和分析自动化技术》。2011年10月11日至14日，第九届国际研讨会，ATVA 2011，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24371-4/pbk）。计算机科学课堂讲稿6996，492-502（2011）。 摘要：基于抽象解释的分析精度不仅取决于抽象领域，还取决于求解方法。传统的解决方案是迭代求解抽象的不动点方程，使用带加宽算子的外推法使迭代收敛。不幸的是，这种外推法经常会丢失对分析目标至关重要的信息。提高精度的一种经典技术是“用阈值加宽”，这限制了外推。它的好处很大程度上取决于相关阈值的选择。在本文中，我们提出了一种基于语义的技术，用于自动推断此类阈值，该技术适用于任何控制图，无论是过程内、过程间还是并发的，都不需要对抽象域进行特定假设。尽管技术简单，但我们的技术能够在许多实际案例中推断出相关阈值。关于整个系列，请参见[兹比尔1223.68004]. 引用于三文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 软件：阿司匹克 PDF格式BibTeX公司 XML格式引用 \textit{L.Lakhdar-Chaouch}等人，Lect。注释计算。科学。6996、492--502（2011；Zbl 1348.68040） 全文： 内政部 链接