终极魔术师

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

zbMATH中的参考文献（引用于，1标准件)

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

  1. Beyer，Dirk；Gulwani，Sumit；Schmidt，David A.：结合模型检查和数据流分析（2018）
  2. Hoenicke，Jochen；Schindler，Tanja:阵列理论的有效插值（2018）
  3. Daniel Dietsch；Heizmann，Matthias；Langenfeld，Vincent；Podelski，Andreas：《公平模理论：LTL软件模型检查的新方法》（2015）
  4. 艾米斯，埃夫伦；努茨，亚历山大；迪特施，丹尼尔；霍尼克，约琴；波德尔斯基，安德烈亚斯：终极考克斯。（竞争贡献）（2014年）ioport公司