终极Kojak swMATH ID: 23308 软件作者： Ermis，E.，Nutz，A.，Dietsch，D.，Hoenicke，J.，Podelski，A。 描述： 终极kojak。Ultimate Kojak是C程序的符号化软件模型检查器。它基于CEGAR和Craig插值。早期工作[1]中描述的基本算法被扩展为能够使用嵌套字自动机和嵌套（树）插值处理递归程序。 主页： https://link.springer.com/chapter/10.1007/978-3-642-54862-8_36 相关软件： CPA检查器;AProVE公司;CBMC公司;SMT互联网;爆炸;旗舰版;开放式SMT;FuncTion公司;LTL自动化;数学SAT5;现场;Cadence SMV公司;班德拉;ACSL公司;NuSMV公司;迪维尼;自旋蛋白;终极大班;石龙子;终极自动化 引用于： 3文件 标准条款 1出版物描述软件 年份 终极kojak。（竞争贡献）埃夫伦·埃尔米斯（Evren Ermis）；亚历山大·纳茨（Alexander Nutz）；丹尼尔·迪特施（Daniel Dietsch）；Jochen Hoenicke；安德烈亚斯·波德尔斯基 2014 全部的 前5名9位作者引用 1 德克·拜尔 1 丹尼尔·迪特施 1 苏米特·古尔瓦尼 1 马蒂亚斯·海兹曼 1 霍尼克，约琴 1 文森特·兰根菲尔德 1 安德烈亚斯·波德尔斯基 1 坦尼娅·辛德勒。 1 戴维·施密特（David A.Schmidt）。 0连载引用 在2个字段中引用 三 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文