污水处理厂

STP:简单定理证明者。STP是无量词比特向量理论的一个约束求解器,它可以解决程序分析工具、定理证明器、自动错误查找器、密码算法、智能模糊器和模型检查器产生的各种问题。特点:易于嵌入或独立运行;C、C++和Python的绑定;支持多种查询输入格式;开源和麻省理工学院授权。


zbMATH中的参考文献(参考文献41条,1标准件)

显示第1到第20个结果,共41个。
按年份排序(引用)
  1. 聪明,柯蒂斯;奥科维奇,德拉戈米尔。;科茨里亚斯,伊利亚;Ganesh,Vijay:组合搜索的SAT+CAS方法及其对最佳矩阵的应用(2019)
  2. 王文喜;桑德加德,哈拉尔德;Stuckey,Peter J.:Wombit:使用词级传播的投资组合位向量解算器(2019)
  3. 巴雷特,克拉克;Tinelli,Cesare:可满足性模理论(2018)
  4. 程曦;周敏;宋晓宇;顾明;孙佳光:并行化SMT解决:懒惰分解与调解(2018)
  5. 哥德弗洛德,帕特里斯;Sen,Koushik:结合模型检查和测试(2018)
  6. 朱利安,J。;库什纳连科,O。;马森,P。A、 。;Voiron,G.:从事件系统抽象到覆盖其状态和转换的测试生成(2018)
  7. 利沃夫,M。;佩沙内科,V。;莱蒂切夫斯基,O。;塔拉西奇,Y。;Baiev,A.:构造线性半代数公式规范形式的算法和工具(2018)
  8. 基哈尼,扎卡里亚;玛丽,布鲁诺;博博特,弗朗索瓦;Bardin,Sébastien:位向量理论的约束规划方法(2017)
  9. 诺普,詹斯;科瓦茨,劳拉;Zwirchmayr,Jakob:用积极的知识取代猜想:使用符号执行推断经证实的最坏情况下的精确执行时限(2017)
  10. 卢卡努、多雷尔;拉苏,弗拉德;Arusoaie,Andrei:《符号执行的一般框架:一种共同归纳法》(2017)
  11. 尼美兹,艾娜;普雷纳,马蒂亚斯;Biere,Armin:位精确推理的基于传播的局部搜索(2017)
  12. 拉苏,弗拉德;Arusoaie,Andrei:在Maude执行和验证高阶功能命令程序(2017)
  13. 祖尔科斯基,爱德华;聪明,柯蒂斯;海因勒,阿尔伯特;科茨里亚斯,伊利亚;查内基,克兹什托夫;Ganesh,Vijay:结合SAT解算器和计算机代数系统来验证组合猜想(2017)
  14. 约翰,阿吉思K。;Chakraborty,Superatik:从线性模约束中消除量词的分层算法(2016)
  15. 科瓦什奈,盖里;弗里希,安德烈亚斯;Biere,Armin:固定大小位向量逻辑的复杂性(2016)
  16. 梁家辉;加内什,维杰;帕斯卡,波帕斯特;基于启发式学习的Zyarnki,Zyarnki,2016年
  17. 萨里基维,奥利;Heljanko,Keijo:LCTD:LLVM上C程序的测试引导证明(2016)
  18. 宋,玲;黄、张杰;杨倩倩:ARX分组密码的自动差分分析及其在SPECK和LEA中的应用(2016)
  19. 泽尔吉奇,亚历山达;温特施泰格,克里斯托夫M。;Rümmer,Philipp:用mcsat确定位向量公式(2016)
  20. 阿鲁索艾,安德烈;卢卡努、多雷尔;Rusu,Vlad:基于语言转换的符号执行(2015)