合金

合金:一种新的软件建模技术。合金是一种轻量级的软件建模语言。它的设计是灵活的和有表现力的,但仍然适合于全自动模拟和检查。在其核心,合金是一个简单的一阶逻辑扩展与关系运算符。一种简单的构造机制允许合金用于各种成语,并支持模型的增量构造。合金通过平移到SAT进行分析。该工具的当前版本使用箔条和Belkmin解算器,它们足够强大地处理2×100或更多的搜索空间。合金已经应用于来自不同领域的问题,从检查微软COM的约定到调试名称服务器的设计。最近,我们使用它来检查为任意拓扑设计的分布式算法。我们也正在研究使用合金来分析面向对象的代码。


ZBMaX中的参考文献(29篇)1标准条款

显示结果1至20的29。
按年份排序(引文
  1. 克里斯蒂亚,Maximiliano;罗西,GiangFrango:求解有限集上的无量词一阶约束和二元关系(2020)
  2. 克里斯蒂亚,Maximiliano;罗西,GiangFrang:一个有限集关系代数的集合求解器(2018)
  3. 乔斯滕,Sebastiaan J. C.:通过图饱和度寻找模型(2018)
  4. Wikelson,约翰;Batty,马克;索伦森,泰勒;康斯坦丁尼德,George A.:自动比较内存一致性模型(2017)
  5. 克里斯蒂亚,Maximiliano;罗西,詹弗朗哥;弗里德曼,克劳蒂亚:将部分函数加到带约束逻辑程序设计(2015)
  6. Schneider,史提夫;TeHurne,海伦;Wehrheim,黑克:事件B精炼的行为语义(2014)
  7. 梅奈,Mohamed El Bachir;Al Yahya,TasnIEM纳塞尔:部分马克斯SAT精确方法的分类(2013)
  8. Giese,霍格尔;LAMBER,LeEN:通过不变检验实现模型转换行为保持的自动验证(2012)
  9. 霍尔,西尔文;Villemaire,罗杰;Cherkaoui,奥玛尔;DECA,Rudy:数据感知自动化序列生成的逻辑方法(2012)
  10. Ulbrich,马蒂亚斯;盖尔曼,Ulrich;El Ghazi,Aboubakr Achraf;Taghdiri,玛娜:合金规范的证明助理(2012)
  11. 李,Guodong;帕默,罗伯特;德利西,米迦勒;GopalakrasHnman,GANSH;Kirby,Robert M.:MPI 2的正式规范:指定实用并发编程API的案例研究(2011)
  12. Sasturkar,阿米特;杨,平;斯托勒,Scott D.;Ramakrishnan,C.R.:基于角色的访问控制策略分析(2011)
  13. 博罗纳特,阿图尔;MeeGuer-Joe: Mof(2010)的代数语义
  14. 休斯,Graham;BulTAN,TEVFIK:使用SAT求解器自动验证访问控制策略(2008)伊波尔特
  15. Winkelmann,杰西卡;TaTZEZ,Gabriele;Errg,Kaltest. Kuest. Jochen M.:将受限OCL约束转化为图约束生成元模型实例的图文法(2008)
  16. Zeng,梁朝;NGU,Anne H. H.;Benatallah,Boualem;PodooZhanne,Rodion;雷,慧:Web服务的动态组合和优化(2008)伊波尔特
  17. Fras,Marcelo F.;L. Pez Pombo,Carlos G.;MasCATO,Mariano M.:合金分析和PVS在合金规范分析和验证中的应用(2007)
  18. Gheyi,Rohit;Massoni,蒂亚戈;博尔巴,Paulo:合金的静态语义及其在重构中的影响(2007)
  19. SyLakHter,ILYA:为搜索问题生成有效的对称破缺谓词(2007)
  20. Taghdiri,马纳;杰克逊,丹尼尔:推断代码中检测错误的规范(2007)伊波尔特