斯密特波尔

SMTInterpol是一个SMT求解器,可以计算各种理论的Craig插值。求解器是由弗莱堡大学软件工程系主任开发的。解算器是用Java编写的,可以在任何支持Java版本6的操作系统上使用。解算器读取SMTLIB版本2格式的输入。


zbMATH中的参考文献(参考文献20条)

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

  1. 加泽拉,杰克J。;巴拉诺夫斯基,马雷克;何少波;Rakamarić,Zvonimir:利用编译器中间表示进行多语言和跨语言验证(2020)
  2. 哈伊杜,Ákos;基于Miczolán的有效策略检查(2020年)
  3. 巴雷特,克拉克;Tinelli,Cesare:可满足性模理论(2018)
  4. 最好的,艾克;德维勒,雷蒙德;Schlachter,Uli:有界选择自由Petri网合成:算法问题(2018)
  5. Bromberger,Martin:从无界线性混合算术问题归结为有界问题(2018)
  6. 霍尼克,约琴;辛德勒,Tanja:阵列理论的有效插值(2018)
  7. 利沃夫,M。;佩沙内科,V。;莱蒂切夫斯基,O。;塔拉西奇,Y。;Baiev,A.:构造线性半代数公式规范形式的算法和工具(2018)
  8. 尼维亚多姆斯基,阿图尔;斯威塔尔斯基,皮奥特;西多鲁克,特奥菲尔;Penczek,Wojciech:SMT solvers in action:编码和解决NP和EXPTIME中的选定问题(2018)
  9. 吉尔根,吉尔根;阿斯切曼,科尼利厄斯;布罗克施密特,马克;埃姆斯,费边;弗罗恩,弗洛里安;福斯,卡斯滕;亨塞尔,杰拉;奥托,卡斯滕;普吕克,马丁;施耐德·坎普,彼得;斯特罗德,托马斯;斯威德斯基,斯蒂芬妮;Thiemann,René:用\textsfAProVE自动分析程序终止和复杂性(2017)
  10. 格雷茨丘,马吕斯;迪茨,丹尼尔;波德尔斯基,安德烈亚斯:《反例中的循环不变量》(2017)
  11. Ábrahám,埃里卡;Kremer,Gereon:满意度检验:理论与应用(2016)
  12. 上帝啊,于尔根;Hoenicke,Jochen:保树插值(2016)
  13. 科穆拉维利,安维什;格芬克尔,阿里;Chaki,Sagar:基于SMT的递归程序模型检查(2016)
  14. 科斯金,埃里克;杨俊峰:将碰撞可恢复性降低到可及性(2016)
  15. 上帝啊,于尔根;Hoenicke,Jochen:削减组合(2015)
  16. 上帝啊,于尔根;Hoenicke,Jochen:弱等效阵列(2015)
  17. 迪茨,丹尼尔;海兹曼,马提亚斯;兰根菲尔德,文森特;Podelski,Andreas:公平模理论:LTL软件模型检查的新方法(2015)
  18. 上帝啊,于尔根;埃米斯,埃夫伦;舍夫,马丁;Wies,Thomas:流量敏感故障定位(2013)ioport公司
  19. 海兹曼,马提亚斯;上帝啊,于尔根;迪茨,丹尼尔;埃米斯,埃夫伦;霍尼克,约琴;林登曼,马库斯;努茨,亚历山大;希林,基督徒;波德尔斯基,安德烈亚斯:终极自动磨粉机与smtinterpol。(竞争贡献)(2013年)ioport公司
  20. 上帝啊,于尔根;霍尼克,约琴;Nutz,Alexander:SMTInterpol:插值SMT解算器(2012)ioport公司