终极自动播种机

终极自动喷雾器,含smtinterpol。(竞争贡献)Ultimate automizer是C程序的自动软件验证工具。这个工具是跟踪抽象的第一个实现,它是一种自动化理论的软件验证方法。所实现的算法在程序间程序分析中使用嵌套的插入项。插值SMT求解器SMTInterpol用于计算Craig插值。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献(引用于,1标准件)

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

  1. Hoenicke,Jochen;Schindler,Tanja:阵列理论的有效插值(2018)
  2. Komuravelli,Anvesh;Gurfinkel,Arie;Chaki,Sagar:基于SMT的递归程序模型检查(2016)
  3. D'Silva,Vijay;Urban,Caterina:冲突驱动的有条件终止(2015)
  4. 海兹曼,马提亚斯;基督,约根;迪特施,丹尼尔;厄米斯,埃夫伦;霍尼克,约琴;林登曼,马库斯;努茨,亚历山大;席林,克里斯蒂安;波德尔斯基,安德烈亚斯:终极自动磨刀机与smtinterpol。(竞争贡献)(2013年)ioport公司