FuncTion公司 swMATH ID: 23309 软件作者： C.城市。 描述： FuncTion：用于终止的抽象域仿真器。FuncTion是一个研究原型静态分析器，用于证明C程序的（有条件的）终止。该工具通过抽象解释自动推断分段定义的排名函数（以及终止的充分前提条件）。它结合了各种抽象领域，以平衡分析的精度和成本。 主页： https://link.springer.com/chapter/10.1007/978-3-662-46681-0_46 相关软件： AProVE公司；旗舰版；开放式SMT；终极Kojak；LTL自动化；CBMC公司；数学SAT5；现场；Cadence SMV公司；班德拉；CPA检查器；SMT互联网；ACSL公司；NuSMV公司；迪维尼；自旋蛋白；终极Automizer；停机坪 引用于： 2文件 全部的 前5名6位作者引用 1 丹尼尔·迪特施 1 维杰·迪尔瓦 1 马蒂亚斯·海兹曼 1 文森特·兰根菲尔德 1 安德烈亚斯·波德尔斯基 1 城市，卡特里娜 0连载引用 在2个字段中引用 2 计算机科学（68至XX） 1 数理逻辑与基础（03-XX） 按年份列出的引文