阿司匹克 swMATH编号： 4954 软件作者： 劳雷·贡诺德；尼古拉斯·哈尔巴赫斯 描述： 在线性关系分析中结合加宽和加速。线性关系分析是第一个，但仍然是在无限格中工作的最强大的抽象解释之一。因此，它使用加宽运算符来强制不动点计算的收敛性。虽然可以通过延迟加宽应用来任意细化加宽引起的近似值，但随着延迟的增加，分析很快变得过于昂贵。以往提高加宽精度的尝试并不完全令人满意，因为它们都不能保证提高结果的精度，而且它们仍然会增加分析成本。在本文中，我们研究了线性关系分析的一种改进，它包括在可能的情况下计算循环的精确（抽象）效果。此技术与加宽的使用完全兼容，只要适用，它就会提高分析的精度和性能。 主页： http://laure.gonnord.org/pro/aspic/aspic.html 相关软件： ASTREE公司;快速;停机坪;z3（零3）;PAGAI公司;弗拉塔;高超声速;Coq公司;卢斯特;速度;八角形;Yices公司;IKOS公司;SeaHorn公司;基础知识;解释;CORA公司;HyLAA公司;流量*;海森 引用于： 25文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 在线性关系分析中结合加宽和加速。 Zbl 1225.68071号劳雷·贡诺德;尼古拉斯·哈尔巴赫斯 2006 全部的 前5名51位作者引用 3 贝特朗·珍妮特 3 大卫·莫尼奥（David P.Monniaux）。 3 彼得·施拉梅尔 2 奥利维尔·布瓦索 2 亚历山大·查普托 2 托马斯·马丁·高利察 2 劳雷·贡诺德 2 尼古拉斯·哈尔巴赫斯 2 费雯·梅森纽夫 2 亚萨米娜·塞拉吉 1 亚历山德罗·阿巴特 1 克利斯朵夫·爱丽丝 1 吉安卢卡·阿马托 1 文森佐·阿塞里 1 雷米·波顿 1 马吕斯·博兹加 1 Jörg Brauer 1 马克·布罗克施米特 1 达里奥·卡塔鲁扎 1 约翰·Cyphert 1 阿兰·达特 1 西蒙·迪纳多·迪迈奥 1 斯蒂芬·福克 1 保罗·费尤特里尔 1 弗洛里安·弗洛恩 1 皮埃尔·洛伊奇·卡洛什 1 吉尔根·吉斯尔 1 阿兰·吉拉尔 1 赫塞尔，杰拉 1 奥利维尔·赫曼特 1 拉杜·奥西夫 1 弗朗索瓦州伊里冈 1 迪帕克·卡普尔 1 扎卡里·金凯德 1 国王，安迪 1 丹尼尔·科宁 1 Lakhdar-Chaouch，谎言 1 达米安·马萨诸塞 1 伊莎贝拉·马斯特罗埃尼 1 玛丽亚·希亚拉（Maria Chiara Meo） 1 马提亚斯·纳夫 1 斯旺·佩拉诺 1 亨利·普拉肯 1 代表，Thomas W。 1 鲁克斯，皮埃尔 1 斯特凡·舒尔泽·弗里林豪斯 1 弗朗西丝卡·斯科扎里 1 赫尔穆特·塞德尔 1 辛兹，卡斯滕 1 拉尔夫·沃格勒 1 埃纳州扎法内拉 5篇连载文章中引用 3 系统设计中的形式化方法 3 计算机科学中的逻辑方法 2 符号计算杂志 2 自动推理杂志 1 信息学报 在5个字段中引用 25 计算机科学（68至XX） 4 数值分析（65-XX） 1 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 按年份列出的引文