z3型

Z3是微软研究院正在开发的一个高性能定理证明程序。Z3支持线性实数和整数运算、固定大小的位向量、扩展数组、未解释函数和量词。Z3与微软研究中心的许多程序分析、测试和验证工具集成在一起。这些包括:VCC、Spec、BOUGIE、Pex、Yogi、Vigite、SLAM、F7、F*、SAGE、VS3、FORMULA和HAVOC。


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

显示496个结果中的1到20个。
按年份排序(引用)

1 2 ... 23 24 25 下一个

  1. Barbosa,Haniel;Blanchette,Jasmin Christian;Fleury,Mathias;Fontaine,Pascal:配方加工的可缩放细粒度证明(2020年)
  2. Bayless,Sam;Kodirov,Nodir;Iqbal,Syed M.;Beschatnikh,Ivan;Hoos,Holger H.;Hu,Alan J.:基于可伸缩约束的虚拟数据中心分配(2020年)
  3. Christoph Benzmüller;Scott,Dana S.:自动化HOL中的自由逻辑,范畴理论的实验应用(2020)
  4. Bersani,Marcello M.;Rossi,Matteo;San Pietro,Pierluigi:关于定时形式时钟的初始化(2020)
  5. Bohlender,Dimitri;Kowalewski,Stefan:利用Horn子句解决PLC软件的组合验证(2020)
  6. Bromberger,Martin;Sturm,Thomas;Weidenbach,Christoph:线性整数求解的一种完整的终止方法(2020)
  7. Champion,Adrien;千叶,Tomoya;Kobayashi,Naoki;Sato,Ryosuke:高阶功能程序的基于冰的改进型发现(2020)
  8. Chen,Qian Matteo;Finzi,Alberto;Mancini,Toni;Melatti,Igor;Tronci,Enrico:MILP、伪布尔和OMT解算器,用于关键无线网络中中继节点的最佳容错配置(2020年)
  9. Drechsler,Rolf(编辑);Soeken,Mathias(编辑):高级布尔技术。第13届布尔问题国际研讨会论文选集,德国不来梅,2018年9月19-21日(2020年)
  10. 芬克贝纳,伯恩德;哈恩,克里斯托弗;卢克特,菲利普;斯坦格,马文;坦特鲁普,利安德:从超属性合成(2020)
  11. García Soto,Miriam;Prabhakar,Pavithra:基于抽象的多面体交换系统稳定性验证(2020)
  12. Garzella,Jack J.;Baranowski,Marek;He,Shaobo;Rakamarić,Zvonimir:利用编译器中间表示进行多语言和跨语言验证(2020年)
  13. Grastien,Alban;Scala,Enrico:CPCES:通过反例引导的优化来解决符合规划问题的规划框架(2020)
  14. Hajdu,Ákos;Micskei,Zoltán:基于CEGAR的模型检查的有效策略(2020年)
  15. 黄成超;徐明;李志斌:一种基于冲突驱动的电力约束解决方法(2020)
  16. 伊什·沙洛姆,奥伦;伊扎基,沙查尔;曼尼维奇,罗曼;里涅茨基,诺姆:利用静态分析帮助学习字符串操作程序的伪逆,以自动生成测试(2020年)
  17. Izmirlioglu,Yusuf;Erdem,Esra:使用答案集编程对三维扩展对象之间的基本方向进行推理(2020)
  18. Kuwajima,Hiroshi;Yasuoka,Hirotoshi;Nakae,Toshihiro:机器学习系统中的工程问题(2020)
  19. Lukšič,Žiga;Pretnar,Matija:局部代数效应理论(2020)
  20. 基于Daniel Praunda的验证方法;基于Daniel-Prauda-Park的不完整验证方法;基于Daniel-Prauda-Park的不完整验证方法

1 2 ... 23 24 25 下一个