茂物

最近已经证明,使用checker或软件检查模型来构建更有效的软件模型。我们相信,软件系统需求和系统开发过程的最新趋势表明,领域特定的模型检查引擎可能比通用的模型检查工具更有效。为了克服现有工具单一且不可扩展的局限性,我们开发了一个可扩展的、可定制的模型检查框架Bogor。在这篇工具论文中,我们总结了(a)Bogor对面向对象设计和实现建模的直接支持,(b)扩展和定制其建模语言和算法以创建特定于领域的模型检查引擎的功能,以及(c)我们开发的用于描述在茂物基础设施之上构建模型检查工具的教学材料


zbMATH参考文献(36篇文章引用)

显示第1到第20个结果,共36个。
按年份排序(引用)
  1. Groce,Alex;Havelund,Klaus;Holzmann,Gerard;Joshi,Rajeev;Xu,Ru Gang:建立飞行软件可靠性:测试、模型检查、约束求解、监控和学习(2014)
  2. Beckert,Bernhard;Klebanov,Vladimir:多线程程序演绎验证的动态逻辑(2013)
  3. Rafe,Vahid;Nikajam,Amin;Rezaei,Mohammad:Galoan:一种多智能体的奶牛放牧方法(2011)
  4. Stephen Sierkel,2011年科学工具包:Stephen Sierkel
  5. 韦伯,迈克尔:一个用于状态空间生成的可嵌入虚拟机(2010)ioport公司
  6. Yang,Yu;Chen,Xiaofang;Gopalakrishnan,Ganesh;Kirby,Robert M.:分布式动态偏序约简(2010)ioport公司
  7. Zambon,Eduardo:使用图形转换和图形抽象进行软件验证(2010)ioport公司
  8. del Mar Gallardo,María;Merino,Pedro;Sanán,David:操作系统中的模型检查动态内存分配(2009)
  9. Rafe,Vahid;Rahmani,Adel T.:走向使用图转换系统和bogor的自动化软件模型检查(2009)
  10. Baresi,Luciano;Rafe,Vahid;Rahmani,Adel T.;Spoletini,Paola:模型检查图转换系统的有效解决方案(2008)ioport公司
  11. 适应能力:基于适应能力的组织:艾瑞克·蒂埃纳,艾瑞克·蒂埃纳。(2008年)ioport公司
  12. 盖兹,卡罗;因弗拉尔迪,保罗;蒙坦盖罗,卡罗:动态演化的可靠软件:从矛盾修饰法到现实(2008)
  13. Ivančić,Franjo;Yang,Zijiang;Ganai,Malay K.;Gupta,Aarti;Ashar,Pranav:用于软件验证的有效基于卫星的有界模型检查(2008年)
  14. Rafe,Vahid;Rahmani,Adel T.:使用UML2.0活动和图形转换系统对工作流的形式化分析(2008)
  15. Rafe,Vahid;Rahmani,Adel T.:基于图转换的工作流形式化建模与验证方法(2008)
  16. Matousek,Tomas;Zavoral,Filip:从C源代码中提取Zing模型(2007)
  17. Bordini,Rafael H.;Fisher,Michael;Visser,Willem;Wooldridge,Michael:通过模型检查验证多代理程序。(2006年)ioport公司
  18. Ghica,D.R.;Murawski,A.S.:高阶并发程序的组合模型提取(2006)
  19. Robby;Rodríguez,Edwin;Dwyer,Matthew B.;Hatcliff,John:使用可扩展软件模型检查框架检查JML规范(2006)ioport公司
  20. Zhang,Hongyu;Bradbury,Jeremy S.;Cordy,James R.;Dingel,Juergen:使用源代码转换测试和模型检查隐式调用系统(2006)