终极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）；霍尼克，约琴；安德烈亚斯·波德尔斯基 2014 全部的 前5名9位作者引用 1 德克·拜尔 1 丹尼尔·迪特施 1 苏米特·古尔瓦尼 1 马蒂亚斯·海兹曼 1 Jochen Hoenicke公司 1 文森特·兰根菲尔德 1 安德烈亚斯·波德尔斯基 1 坦尼娅·辛德勒。 1 戴维·施密特（David A.Schmidt）。 0连载引用 在2个字段中引用 三 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文