z3型

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


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

显示489个结果中的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. 《马塞洛的时钟》(Mattello,the clocks of the Mitches,Marcello,Mattello of the clocks)杂志(Mattello,the clocks of the Mitches)2020;马塞洛·皮耶尔尼(Mattello)的时钟初始化
  5. Bohlender,Dimitri;Kowalewski,Stefan:利用Horn子句解决PLC软件的组合验证(2020)
  6. Bromberger,Martin;Sturm,Thomas;Weidenbach,Christoph:线性整数求解的一种完整的终止方法(2020)
  7. Drechsler,Rolf(编辑);Soeken,Mathias(编辑):高级布尔技术。第13届布尔问题国际研讨会论文选集,德国不来梅,2018年9月19-21日(2020年)
  8. 芬克贝纳,伯恩德;哈恩,克里斯托弗;卢克特,菲利普;斯坦格,马文;坦特鲁普,利安德:从超属性合成(2020)
  9. García Soto,Miriam;Prabhakar,Pavithra:基于抽象的多面体交换系统稳定性验证(2020)
  10. Garzella,Jack J.;Baranowski,Marek;He,Shaobo;Rakamarić,Zvonimir:利用编译器中间表示进行多语言和跨语言验证(2020年)
  11. Grastien,Alban;Scala,Enrico:CPCES:通过反例引导的优化来解决符合规划问题的规划框架(2020)
  12. 黄成超;徐明;李志斌:一种基于冲突驱动的电力约束解决方法(2020)
  13. 伊什·沙洛姆,奥伦;伊扎基,沙查尔;曼尼维奇,罗曼;里涅茨基,诺姆:利用静态分析帮助学习字符串操作程序的伪逆,以自动生成测试(2020年)
  14. Kuwajima,Hiroshi;Yasuoka,Hirotoshi;Nakae,Toshihiro:机器学习系统中的工程问题(2020)
  15. Lukšič,Žiga;Pretnar,Matija:局部代数效应理论(2020)
  16. 尼尔森,弗莱明;尼尔森,汉恩·瑞斯:《安全防卫司令部》(2020)
  17. 李嘉图,培尼亚:用Dafny证明红黑树(2020)
  18. 秦旭东;Bliudze,Simon;Madelaine,Eric;侯泽晨;邓宇欣;张敏:基于SMT的符号自动机生成(2020)
  19. Réda,Clémence;Wilczynski,Bartek:使用显式调控模块自动推断基因调控网络(2020年)
  20. 塞巴斯蒂安尼,罗伯托;特伦丁,帕特里克:\textsoptimathsat:优化模理论的工具(2020)

1 2 ... 23 24 25 下一个