规格#

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

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


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

显示第1到第19个结果。
按年份排序(引用)
  1. Bouillaguet,Quentin;Bobot,François;Sighireanu,Mihaela;Yakobowski,Boris:利用内存模型中的指针分析进行演绎验证(2019年)
  2. Bao,Yuyan;Leavens,Gary T.;Ernst,Gidon:统一分离逻辑和区域逻辑以实现互操作性(2018)
  3. Broy,Manfred:基于假设/承诺的系统接口规范和架构合同的理论和方法(2018)
  4. Alexander Knüppel;Thüm,Thomas;Pardylla,Carsten Immanuel;Schaefer,Ina:理解演绎验证的参数:对key的实证调查(2018)
  5. Swords,Cameron;Sabry,Amr;Tobin Hochstadt,Sam:作为沟通模式的合同监控策略的扩展说明(2018)
  6. Ahrendt,Wolfgang;Chimento,Jesús Mauricio;Pace,Gordon J.;Schneider,Gerardo:《结合静态和运行时验证验证的数据和控件导向属性:理论与工具》(2017)
  7. Amin,Nada;Rompf,Tiark:LMS verify:验证系统编程的无遗憾抽象(2017)
  8. Lucanu,Dorel;Rusu,Vlad;Arusoaie,Andrei:《符号执行的一般框架:一种共同归纳法》(2017)
  9. 单一任务法,法鲁迪奥·德鲁迪奥,2016年完成;法鲁迪奥·德鲁迪奥·德鲁迪奥完成方案验证
  10. Galán,Francisco J.;Cañete Valdeón,JoséM.:用无限量化检验一类定义的正逻辑程序的综合(2016)
  11. Müller,Peter;Schwerhoff,Malte;Summers,Alexander J.:Viper:基于权限推理的验证基础设施(2016)
  12. Wiik,Jonatan;Boström,Pontus:MATLAB风格矩阵程序的基于合同的验证(2016)
  13. Mohammaddadegh Dalvandi;Butler,Michael;Rezazadeh,Abdolbaghi:从Event-B模型到Dafny代码合同(2015)ioport公司
  14. Dastani,Mehdi(编辑);Sirjani,Marjan(编辑):软件工程基础。第六届国际会议,FSEN 2015,伊朗德黑兰,2015年4月22日至24日。修订论文选(2015)
  15. Leino,K.Rustan M.;Lucio,Paqui:自然合并排序稳定性和正确性的断言证明(2015)
  16. Tschannen,J.;Furia,CA;Nordio,M.;Polikarpova,N.:AutoProof:面向对象程序的自动主动功能验证(2015)阿尔十四
  17. Amighi,Afshin;Blom,Stefan;Darabi,Saeed;Huisman,Marieke;Mostowski,Wojciech;Zaharieva Stojanovski,Marina:验证VerCors的并发系统(2014年)
  18. Böhl,Florian;Greiner,Simon;Scheidecker,Patrik:在半诚实发送者在场的情况下证明用Java实现的双方计算的正确性和安全性(2014)
  19. davidr.Cok:OpenJML:使用JML、OpenJDK和Eclipse的java7软件验证(2014)阿尔十四
  20. Din,Crystal Chang;Owe,Olaf:一个完善的共享期货异步通信推理系统(2014)