规格#

Spec编程系统是开发和维护高质量软件的一种更具成本效益的新尝试。本文描述了Spec编程系统的目标和体系结构,包括面向对象的Spec编程语言、Spec编译器和Boogie静态程序验证器。该语言包括编写规范的构造,这些规范捕获程序员关于如何使用方法和数据的意图,编译器发出运行时检查来强制执行这些规范,验证器可以检查程序与其规范之间的一致性。

这个软件也是同行评审按日记帐汤姆斯.


zbMATH中的参考文献(参考文献123篇)

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

1 2 ... 5 6 7 下一个

  1. 莱坦,托马斯;Régis Gianas,雅恩;奇夫利埃,皮埃尔;Hiet,Guillaume:使用效果和效果处理程序的模块化验证(2021)
  2. 拉姆雷奇,莱恩;Sivilotti,Paolo A.G.:使用RESOLVE框架对Java组件的形式化验证(2021)
  3. 班萨尔,克希蒂吉;科斯金,埃里克;特里普,欧默:合成精确和有用的交换性条件(2020)
  4. 鲍伊拉盖,昆廷;博博特,弗朗索瓦;希吉瑞努,米哈埃拉;Yakobowski,Boris:利用内存模型中的指针分析进行演绎验证(2019)
  5. 包、玉岩;莱文斯,加里·T。;Ernst,Gidon:统一分离逻辑和区域逻辑以实现互操作性(2018)
  6. Broy,Manfred:基于假设/承诺的系统接口规范和架构合同的理论和方法(2018)
  7. 克努佩尔,亚历山大;图姆,托马斯;帕迪拉,卡斯滕·伊曼纽尔;Schaefer,Ina:理解演绎验证的参数:key的实证调查(2018)
  8. 剑,卡梅隆;萨布里,Amr;托宾·霍克施塔特(Tobin Hochstadt),山姆:作为沟通模式的合同监控策略的扩展账户(2018)
  9. 阿伦特,沃尔夫冈;奇门托,耶斯·莫里西奥;佩斯,戈登J。;Gerardo Schneider:结合静态和运行时验证验证面向数据和控件的属性:理论与工具(2017)
  10. 阿明,娜达;Rompf,Tiark:LMS verify:已验证系统编程的无遗憾抽象(2017)
  11. 卢卡努、多雷尔;拉苏,弗拉德;Arusoaie,Andrei:《符号执行的一般框架:一种共同归纳法》(2017)
  12. 贝洛鲁伦索,克劳迪奥;圣弗朗德,玛丽亚;Sousa Pinto,Jorge:《单一任务计划验证的形式化:适应完成方法》(2016)
  13. 加兰,弗朗西斯科J。;Cañete Valdeón,JoséM:检验一类无限量化定义的正逻辑程序的综合(2016)
  14. 米勒,彼得;施韦霍夫,麦芽;Summers,Alexander J.:Viper:基于权限推理的验证基础设施(2016)
  15. 威克,约纳坦;Boström,Pontus:MATLAB风格矩阵程序的基于合同的验证(2016)
  16. 穆罕默德·达尔万迪;巴特勒,迈克尔;Rezazadeh,Abdolbaghi:从Event-B模型到Dafny代码合同(2015)ioport公司
  17. 达斯塔尼,迈赫迪(编辑);Sirjani,Marjan(编辑):软件工程基础。第六届国际会议,FSEN 2015,伊朗德黑兰,2015年4月22日至24日。修订论文选(2015)
  18. 莱诺,K.鲁斯坦M。;Lucio,Paqui:Natural Mergesort稳定性和正确性的断言证明(2015)
  19. Tschannen,J。;弗利亚,加利福尼亚州;诺迪奥,M。;Polikarpova,N.:Autoprotop:面向对象程序的自动主动功能验证(2015)阿尔十四
  20. 阿夫申阿米吉语;布洛姆,斯特凡;达拉比,赛义德;豪氏威马,玛丽克;莫斯托夫斯基,沃伊切赫;Zaharieva Stojanovski,Marina:与VerCors的并行系统验证(2014)

1 2 ... 5 6 7 下一个