z3型

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


zbMATH中的参考文献(参考文献590篇,1标准件)

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

1 2 ... 28 29 30 下一个

  1. 波拿契娜,玛丽亚·保拉;格雷厄姆·伦格兰德,圣潘;Shankar,Natarajan:理论组合的冲突驱动满足性:引理、模和证明(2022)
  2. 弗迪埃,塞斯·费迪南德;科奇杜珀,尼格拉斯;阿尔托夫,马提亚斯;Mazo,Manuel:STL规范下非线性连续时间系统的闭式采样数据控制器的形式化综合(2022)
  3. Vlk,马雷克;布雷乔娃,凯特·伊娜;汉兹列克,兹登涅克;唐思宇:时间敏感网络中的大规模周期调度(2022)
  4. 阿巴西,罗莎;希夫尔,乔纳斯;达鲁洛娃,伊娃;乌尔布里希,马提亚斯;Ahrendt,Wolfgang:KeY中浮点Java程序的演绎验证(2021)
  5. 阿玛蒂尼,罗伯托;恒河,格雷姆;沙赫特,彼得;桑德加德,哈拉尔德;Stuckey,Peter J.:动态符号执行的算法选择:初步研究(2021)
  6. 安索特吉,卡洛斯;欧吉达,杰斯;帕切科,安东尼奥;庞,约瑟普;萨尔维亚,约瑟普·M。;托雷斯,爱德华德:OptiLog:基于SAT系统的框架(2021)
  7. 贝克曼,彼得;吕默,菲利普;Zeljić,Aleksandar:使用未解释谓词和Preburger算法的插值位向量公式(2021)
  8. 贝里希,迈克;查瓦里·维拉雷洛,阿兰;Vargas García,Edith:通过FCA表示分区格(2021)
  9. 巴塔查里亚,阿纳布;古普塔,阿什图什;库普萨米,拉克什曼;玛尼,索米亚;舒克拉,安基特;斯里瓦斯,曼德亚姆;Thattai,Mukund:预测真核细胞囊泡交通系统新特征的形式方法(2021)
  10. 比加雷拉,菲利波;亚历山德罗·西马蒂;格里吉奥,阿尔伯托;艾哈迈德·伊尔凡;乔纳什,马丁;罗维里,马可;塞巴斯蒂安尼,罗伯托;特伦丁,帕特里克:通过增量线性化优化模非线性算法(2021)
  11. 布朗丁,迈克尔;埃斯帕扎,哈维尔;杰克斯,斯特凡;Meyer,Philipp J.:人口协议的有效验证(2021)
  12. 布朗伯格,马丁;德拉戈斯特,伊琳娜;法克赫,拉沙;菲泽,克里斯托夫;克鲁兹,马库斯;Weidenbach,Christoph:用于监督验证条件的数据记录锤模简单线性算法(2021)
  13. 卡塞兹,弗朗克;詹森,彼得·居尔;Guldstrand,Larsen Kim:使用跟踪抽象精化的实时程序的验证和参数综合(2021)
  14. 乔斯卡,米兰;汉塞尔,克里斯蒂安;荣格,塞巴斯蒂安;Katoen,Joost Pieter:反例引导的概率系统归纳综合(2021)
  15. 郑小荣;昌、油炸;李大勇;任正通:一维数据的图形拟合(2021)
  16. 亚历山德罗·西马蒂;格里吉奥,阿尔伯托;Redondi,Gianluca:无量词SMT推理参数系统的通用不变检验(2021)
  17. 克莱森,科恩;Lillieström,Ann:在一阶自动推理中处理传递关系(2021)
  18. 杜特尔,亚伦;莫斯卡托,马里亚诺;蒂托洛,劳拉;穆尼奥斯,塞萨尔;安德森,格雷戈里;Bobot,Francisçois:紧凑位置报告算法的形式分析(2021)
  19. 埃夫勒,利昂;Gleixner,Ambros:精确有理混合整数规划的计算状态更新(2021)
  20. 埃拉·库姆·德瓦利娜(Eraşcu,Mădălina);米科塔,弗拉维亚;Zaharie,Daniela:使用优化模理论、数学规划和对称破坏在基于组件的应用程序云中的可伸缩优化部署(2021)

1 2 ... 28 29 30 下一个