终极魔术师

终极魔术师。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公司