鳄鱼 swMATH ID: 9779 软件作者： 托马斯·亨辛格（Thomas A.Henzinger）。；Thibaud Hottelier；劳拉·科瓦奇（Laura Kovács）；安德烈·里巴尔琴科 描述： 数组的别名。本文介绍Aligator，一种生成通用量化数组不变量的工具。Aligators利用递归求解和代数技术对数组内容进行归纳推理。Aligators的循环提取模块通过利用多路径循环的可交换性和可串行化属性来处理多路径循环。我们在开源软件项目的循环集合上应用Aligator的经验表明，递归和代数求解技术对于数组推理的适用性。 主页： http://link.springer.com/chapter/10.1007%2F978-3-642-16242-8_25 相关软件： z3（零3）;助推器;Daikon公司;FunArray（趣味阵列）;VeriFast公司;胡迪尼;OCaml公司;InvGen公司;估价员;数学软件 引用于： 2文件 全部的 前5名7位作者引用 1 查克拉波蒂，苏普拉特克 1 阿什图什·古普塔 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 Thibaud Hottelier 1 科瓦奇，劳拉·伊尔迪科 1 安德烈·里巴尔琴科 1 迪夫耶什·乌纳德卡特 0连载引用 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文