自动驾驶

自动调整：面向对象程序的自动主动功能验证。自动活动验证器提供了一种介于完全自动化和交互式之间的自动化水平：用户提供带有注释的代码作为输入，同时受益于后端的高度自动化。本文介绍了一种最新的面向对象的具有复杂功能规范的序列程序的自动主动验证器autotop。AutoProof完全支持高级的面向对象特性和强大的框架和类不变量方法，使其在实践中适用于惯用的面向对象模式。本文重点描述了autotop的接口、设计和实现特性，并展示了autotop在大量基准问题上的性能。这些结果证明了autoprotop在面向对象程序的前沿功能验证方面的竞争力。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献5条,1标准件)

显示第1到第5个结果，共5个。
按年份排序(引用)

  1. 德古瓦，斯蒂恩；德波尔，弗兰克S。；布贝尔，理查德；Hähnle，雷纳；腐烂，朱瑞安；Steinhöfel，Dominic:验证OpenJDK的泛型集合排序方法（2019）
  2. 孟吉，克劳迪奥；斯波莱蒂尼，保拉；玛莎契克；Ghezzi，Carlo:控制器迭代设计的验证驱动框架（2019）
  3. 布伦斯，乔恩·哈伊尔；棘状，轴状；Strecker，Martin:在保持可决策性的同时确保模型转换的正确性（2016）
  4. 莱诺，K.鲁斯坦M。；Lucio，Paqui:Natural Mergesort稳定性和正确性的断言证明（2015）
  5. Tschannen，J。；弗利亚，加利福尼亚州；诺迪奥，M。；Polikarpova，N.：Autoprotop:面向对象程序的自动主动功能验证（2015）阿尔十四