电子稳定控制系统/Java

extendedstaticcheckerforjava2(ESC/Java2)是一种编程工具,它试图通过对程序代码及其形式注释的静态分析来查找JML注释的Java程序中常见的运行时错误。用户可以控制ESC/Java2执行的检查的数量和种类,方法是用称为pragma的特殊格式的注释注释注释他们的程序


zbMATH参考文献(参考 134篇文章 参考)

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

1 2 ... 5 6 7 下一个

  1. Guillaume Burel;Guillaume Bury;Cauderlier,Raphaël;Delahaye,David;Halmagrand,Pierre;Hermant,Olivier:一阶自动推理:当演绎模理论与实践相结合时(2020)
  2. Ahrendt,Wolfgang;Chimento,Jesús Mauricio;Pace,Gordon J.;Schneider,Gerardo:《结合静态和运行时验证验证的数据和控件导向属性:理论与工具》(2017)
  3. Bjørner,Nikolaj;Gurfinkel,Arie;McMillan,Ken;Rybalchenko,Andrey:项目验证的Horn条款求解器(2015)
  4. Tschannen,J.;Furia,CA;Nordio,M.;Polikarpova,N.:AutoProof:面向对象程序的自动主动功能验证(2015)阿尔十四
  5. Oliveira,JoséN:函数依赖的“Hoare逻辑”的关系代数方法(2014)
  6. Beckert,Bernhard;Klebanov,Vladimir:多线程程序演绎验证的动态逻辑(2013)
  7. 柯伟;刘志明;王淑玲;赵亮:面向对象程序的基于图的泛型系统(2013)
  8. Daniel Kroneing;Sharygina,Natasha;Tonetta,Stefano;Tsitovich,Aliaksei;Wintersteiger,Christoph M.:使用状态和转换不变量的循环摘要(2013)
  9. Liao,Hongwei;Wang,Yin;Cho,Hyun Kyu;Stanley,Jason;Kelly,Terence;Lafortune,Stéphane;Mahlke,Scott;Reveiotis,Spyros:多线程软件中的并发错误:使用Petri网建模和分析(2013)
  10. 李赵鹏;张宇;陈奕云:一个形图逻辑与一个形系统(2013)
  11. Popeea,Corneliu;Chin,Wei Ngan:证明安全性和发现缺陷的双重分析(2013)
  12. Stump,Aaron;Oe,Duckki;Reynolds,Andrew;Hadarean,Liana;Tinelli,剖腹产术:使用逻辑框架进行SMT验证(2013)
  13. Ahrendt,Wolfgang;Dylla,Maximilian:异步对象组合验证系统(2012)
  14. Chin,Wei Ngan;David,Cristina;Nguyen,Huu Hai;Qin,Shengchao:在分离逻辑中通过用户定义谓词自动验证形状、尺寸和袋子属性(2012)
  15. Christakis,Maria;Müller,Peter;Wüstholz,Valentin:《明确假设下的协同验证和测试》(2012)
  16. Miné,Antoine:在近似下推断具有后向多面体的充分条件(2012)
  17. Jacob Thamsborg;Lars Birkedal;Yang,Hongseok:Two for the price of one:提升分离逻辑断言(2012)
  18. Böhme,Sascha;Moskal,Michał:堆和数据结构:自动化验证程序的挑战(2011)
  19. Bonacina,Maria Paola;Lynch,Christopher A.;de Moura,Leonardo:关于用推测性推理证明定理来决定可满足性(2011)
  20. Cousot,Patrick;Cousot,Radhia;Logozzo,Francesco:从断断续续的断言推断前提条件,并将其应用于托收合同(2011年)

1 2 ... 5 6 7 下一个