ESC/爪哇

Java版本2的扩展静态检查器(ESC/Java2)是一种编程工具,它试图通过静态分析程序代码及其形式注释来发现JML注释的Java程序中的常见运行时错误。用户可以通过用特殊格式化的注释注释他们的程序来控制ESC/Java2执行的检查的数量和种类。


ZBMaCT中的参考文献(133篇文章中引用)

显示结果1至20的133。
按年份排序(引文
  1. Arrnt,沃尔夫冈;奇门托,Jes s Mauricio;Posit,Gordon J.;Schneider,Gerardo:验证数据和面向控制的属性,结合静态和运行时验证:理论和工具(2017)
  2. 麦克米伦,肯,里巴尔琴科,安德烈:程序验证的HON子句求解器(2015)
  3. Tschannen,J;Fura,CA;Norddio,M.;Polikarpova,N:自动验证:面向对象程序的自动主动功能验证(2015)阿西夫
  4. 奥利维拉,JoeS.N:函数依赖的“Hoar逻辑”的关系代数方法(2014)
  5. 贝克特,伯恩哈德;克列巴诺夫,弗拉迪米尔:多线程程序演绎验证的动态逻辑(2013)
  6. 柯,魏;刘,智明;王,Shuling;赵,梁:面向对象程序的基于图的泛型类型系统(2013)
  7. 克罗宁,丹尼尔;Sharygina,娜塔莎;Tonetta,斯蒂法诺;Tsitovich,Aliaksei;Westistiger-Christoph M.:使用状态和转换不变量的循环摘要(2013)
  8. Liao,Hongwei;王,殷;Co,Hyoun Kyu;斯坦利,杰森;凯莉,TeleNe:LaFrand,StEpPHAN;MaLKE,PoT;Repeivis,SyrOS:多线程软件中的并发错误:使用Petri网建模和分析(2013)
  9. 李,赵鹏;张,余;陈,Yi Yun:形状图形逻辑和形状系统(2013)
  10. Popeea,Corneliu;Chin,Wei Ngan:证明安全和发现缺陷的双重分析(2013)
  11. 残肢,亚伦;OE,Duckki;雷诺兹,安得烈;哈达雷恩,Liana;Tinelli,Casay:使用逻辑框架的SMT证明检查(2013)
  12. Arrntt,沃尔夫冈;Dylla,马希米莲:一个异步对象的组合验证系统(2012)
  13. Chin,Wei Ngan;戴维,克里斯蒂娜;阮,Huu Hai;秦,盛超:分离逻辑中用户定义谓词的形状、大小和袋性质的自动验证(2012)
  14. Christakis,玛丽亚;米勒,彼得;W·斯图尔茨,瓦伦丁:明确假设下的协同验证和测试(2012)
  15. Min E.,安托万:用近似的向后多面体推断充分条件(2012)
  16. 汤姆斯伯格,雅各伯;伯克达尔,拉尔斯;杨,Hongseok:两个价格:提升分离逻辑断言(2012)
  17. B·HME,Sascha;Maskar,米莎:堆和数据结构:自动化处理器面临的挑战(2011)
  18. 博纳西娜、Maria Paola、林奇、Christopher A.、de Moura、列奥纳多:用推测推理确定定理证明的可满足性(2011)
  19. 库索,帕特里克;库索,拉希亚;Logozzo,弗朗西斯科:从断断续续断言的前提推论和对集合合同的应用(2011)
  20. 曼努埃尔,Logozzo,弗朗西斯科:静态合同审查与抽象解释(2011)