斯密特波尔

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


zbMATH参考文献(20篇文章引用)

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

  1. Garzella,Jack J.;Baranowski,Marek;He,Shaobo;Rakamarić,Zvonimir:利用编译器中间表示进行多语言和跨语言验证(2020年)
  2. Hajdu,Ákos;Micskei,Zoltán:基于CEGAR的模型检查的有效策略(2020年)
  3. Barrett,Clark;Tinelli,Cesare:可满足模理论(2018)
  4. Best,Eike;Devillers,Raymond;Schlachter,Uli:有界选择自由Petri网合成:算法问题(2018)
  5. Bromberger,Martin:从无界线性混合算术问题归结为有界问题(2018)
  6. Hoenicke,Jochen;Schindler,Tanja:阵列理论的有效插值(2018)
  7. Lvov,M.;Peschanenko,V.;Letychevskyi,O.;Tarasich,Y.;Baiev,A.:构造线性半代数公式规范形式的算法和工具(2018)
  8. Niewiadomski,Artur;Switalski,Piotr;Sidoruk,Teofil;Penczek,Wojciech:SMT solvers in action:编码和解决NP和EXPTIME中选定的问题(2018)
  9. Giesl,Jürgen;Aschermann,Cornelius;Brockschmidt,Marc;Emmes,Fabian;Frohn,Florian;Fuhs,Carsten;Hensel,Jera;Otto,Carsten;Plücker,Martin;Schneider Kamp,Peter;Ströder,Thomas;Swiderski,Stephanie;Thiemann,René:用\textsfAProVE自动分析程序终止和复杂性(2017)
  10. Greitschus,Marius;Dietsch,Daniel;Podelski,Andreas:反例循环不变量(2017)
  11. Ábrahám,Erika;Kremer,Gereon:满意度检验:理论与应用(2016)
  12. Christ,Jürgen;Hoenicke,Jochen:保树插值(2016)
  13. Komuravelli,Anvesh;Gurfinkel,Arie;Chaki,Sagar:基于SMT的递归程序模型检查(2016)
  14. Koskinen,Eric;Yang,Junfeng:将碰撞可恢复性降低到可及性(2016)
  15. 基督,Jürgen;Hoenicke,Jochen:切割组合(2015)
  16. Christ,Jürgen;Hoenicke,Jochen:弱等效阵列(2015)
  17. Daniel Dietsch;Heizmann,Matthias;Langenfeld,Vincent;Podelski,Andreas:《公平模理论:LTL软件模型检查的新方法》(2015)
  18. Christ,Jürgen;Ermis,Evren;Schäf,Martin;Wies,Thomas:流动敏感断层定位(2013)ioport公司
  19. 海兹曼,马提亚斯;基督,约根;迪特施,丹尼尔;厄米斯,埃夫伦;霍尼克,约琴;林登曼,马库斯;努茨,亚历山大;席林,克里斯蒂安;波德尔斯基,安德烈亚斯:终极自动磨刀机与smtinterpol。(竞争贡献)(2013年)ioport公司
  20. Christ,Jürgen;Hoenicke,Jochen;Nutz,Alexander:SMTInterpol:插值SMT解算器(2012)ioport公司