终极魔术师

终极魔术师。Ultimate Kojak是一个用于C程序的符号化软件模型检查器。它基于CEGAR和Craig插值。在早期的工作[1]中描述的基本算法被扩展为能够处理使用嵌套词自动机和嵌套（树）插入的递归程序。

zbMATH中的参考文献（参考文献4条,1标准件)

显示第1到第4个结果，共4个。
按年份排序(引用)

  1. 拜尔，德克；古尔瓦尼，苏米特；Schmidt，David A.：结合模型检查和数据流分析（2018）
  2. 霍尼克，约琴；辛德勒，Tanja:阵列理论的有效插值（2018）
  3. 迪茨，丹尼尔；海兹曼，马提亚斯；兰根菲尔德，文森特；Podelski，Andreas:公平模理论：LTL软件模型检查的新方法（2015）
  4. 埃米斯，埃夫伦；努茨，亚历山大；迪茨，丹尼尔；霍尼克，约琴；波德尔斯基，安德烈亚斯：终极魔术师。（竞争贡献）（2014年）ioport公司