简化

扩展静态检查。本文概述了扩展静态检查(ESC),这是我们在康柏(née Digital)系统研究中心研究的一项新技术。我们已经实现并试验了两个扩展的静态checker,一个用于Modula-3,另一个用于Java。ESC的目标是通过为程序员提供实用的静态检查工具来提高软件生产率。一般来说,静态检查是静态地查找错误,也就是说,不运行程序,因此可以在设计过程中比动态检查(如测试)更早地发现错误。由于如果及早检测到错误,更正错误的成本就会降低,因此改进的静态检查有可能提高软件生产率。


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

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

1 2 ... 5 6 7 下一个

  1. 布雷尔,纪尧姆;伯里,纪尧姆;考德利尔,拉斐尔;德拉哈耶,大卫;哈马格兰德,皮埃尔;Hermant,Olivier:一阶自动推理理论:当演绎模理论与实践相结合时(2020)
  2. 尼尔,丹尼尔;马杜苏丹,P。;萨哈,Shambwaditya;加格,普拉纳夫;Park,Daejun:基于学习的不完全验证引擎不变量合成方法(2020)
  3. 巴博萨,哈尼尔;雷诺兹,安德鲁;大牛,大牛;蒂内利,塞萨尔;Barrett,Clark:将SMT解算器扩展到高阶逻辑(2019)
  4. 雷诺兹,安德鲁;昆卡,维克托;蒂内利,塞萨尔;巴雷特,克拉克;Deters,Morgan:SMT中基于反驳的合成(2019)
  5. 巴雷特,克拉克;Tinelli,Cesare:可满足性模理论(2018)
  6. 贝尔,阿明;Daniel Kröning:基于SAT的模型检查(2018)
  7. 弗拉基米尔·克莱巴诺夫;吕默,菲利普;Ulbrich,Mattias:通过谓词抽象实现指针程序的自动回归验证(2018)
  8. 小岛、健介;伊玛尼希,秋夫美;Igarashi,Atsushi:无种族GPU程序功能正确性的自动验证(2018)
  9. 吉尔,雷格;苏达,马丁;Voronkov,Andrei:基于饱和推理的抽象与理论实例化的统一(2018)
  10. 巴博萨,哈尼尔;方丹,帕斯卡;Reynolds,Andrew:具有自由变量的同余闭包(2017)
  11. 费尔德曼,约坦·M·Y。;帕顿,奥德;尼尔,伊梅曼;射手座,情绪低落;Shoham,Sharon:用于检查归纳不变量的有界量词实例化(2017)
  12. 普雷纳,马蒂亚斯;尼美兹,艾娜;Biere,Armin:反例引导模型合成(2017)
  13. 雷诺兹,安德鲁;国王,蒂姆;Kuncak,Viktor:通过反例引导实例化解决量化线性算法(2017)
  14. 雷诺兹,安德鲁;蒂内利,塞萨尔;Barrett,Clark:SMT求解器有限模型发现的约束求解(2017)
  15. 伍德,蒂姆;索菲娅,索菲娅;拉希里,Shuvendu K。;Susan Eisenbach:内存分配情况下程序等价性的模块化验证(2017)
  16. 波拿契娜,玛丽亚·保拉;Plaisted,David A.:语义引导的目标敏感推理:模型表示(2016)
  17. 渣滓,克莱尔;干臣,西尔文;约翰尼斯·卡尼格;Paskevich,Andrei:使用带触发器的公理向SMT解算器添加决策过程(2016)
  18. 加兰,弗朗西斯科J。;Cañete Valdeón,JoséM:检验一类无限量化定义的正逻辑程序的综合(2016)
  19. Hyvärinen,Antti E.J。;马雷斯科蒂,马蒂奥;阿尔特,莱昂纳多;Sharygina,Natasha:Opensmt2:多核和云计算的SMT解算器(2016)
  20. 乔纳什,马丁;Strejček,Jan:使用二进制决策图求解量化比特向量公式(2016)

1 2 ... 5 6 7 下一个