合金

合金:一种新的软件建模技术。Alloy是一种用于软件建模的轻量级语言。它的设计是灵活和富有表现力的,但也能适应全自动的模拟和检查。在其核心,Alloy是一个简单的一阶逻辑扩展关系运算符。一个简单的结构机制允许Alloy用于各种习惯用法,并支持模型的增量构造。合金分析是通过转换到SAT来进行的。当前版本的工具使用Chaff和Berkmin解算器;它们的功能足以处理2100或更多的搜索空间。Alloy已经应用于不同领域的问题,从检查microsoftcom的约定到调试名称服务器的设计。最近,我们用它来检查为任意拓扑设计的分布式算法。我们也在研究如何使用Alloy来分析面向对象的代码。


zbMATH中的参考文献(引用于,1标准件)

显示第1到第20个结果,共29个。
按年份排序(引用)
  1. Cristiá,Maximiliano;Rossi,Gianfranco:求解有限集和二元关系上的无量词一阶约束(2020)
  2. 《有限代数解算器》,Gianfi集
  3. Joosten,Sebastiaan J.C.:通过图饱和寻找模型(2018)
  4. Wickerson,John;Batty,Mark;Sorensen,Tyler;Constantinides,George A.:自动比较内存一致性模型(2017)
  5. Cristiá,Maximiliano;Rossi,Gianfranco;Frydman,Claudia:用集合为约束逻辑编程添加部分函数(2015)
  6. Steve Schneider;Helen Treharne;Wehrheim,Heike:Event-B精炼的行为语义(2014)
  7. Menai,Mohamed El Bachir;Al Yahya,Tasniem Nasser:部分最大卫星准确方法分类(2013)
  8. Giese,Holger;Lambers,Leen:通过不变检查实现模型转换的行为保持自动验证(2012)
  9. Hallé,Sylvain;Villemaire,Roger;Cherkaoui,Omar;Deca,Rudy:数据感知自动序列生成的逻辑方法(2012)
  10. Ulbrich,Mattias;Geilmann,Ulrich;El Ghazi,Aboubakr Achraf;Taghdiri,Mana:合金规范的证明助理(2012)
  11. Li,Guodong;Palmer,Robert;DeLisi,Michael;Gopalakrishnan,Ganesh;Kirby,Robert M.:MPI 2.0的形式化规范:指定一个实用并发编程API的案例研究(2011)
  12. Sasturkar,Amit;Yang,Ping;Stoller,Scott D.;Ramakrishnan,C.R.:基于管理角色的访问控制的策略分析(2011)
  13. Boronat,Artur;Meseguer,José:MOF的代数语义(2010)
  14. Automated verification of Automated access(Automated verification of Policys)(2008年《自动访问控制》(Automated verification of policies,Bulteham,2008年);使用Grateham的访问控制;Hughes,2008年)ioport公司
  15. Winkelmann,Jessica;Taentzer,Gabriele;Ehrig,Karsten;Küster,Jochen M.:将受限OCL约束转换为图约束,以通过图语法生成元模型实例(2008)
  16. 曾良钊;Ngu,Anne H.H.;Benatallah,Boualem;Podorozhny,Rodion;Lei,Hui:web服务的动态组合与优化(2008)ioport公司
  17. Frias,Marcelo F.;López Pombo,Carlos G.;Moscato,Mariano M.:合金分析仪和合金规范验证中的PVS(2007)
  18. Gheyi,Rohit;Massoni,Tiago;Borba,Paulo:合金的静态语义及其在重构中的影响(2007)
  19. 有效对称性生成问题(Khilya,2007)
  20. Taghdiri,Mana;Jackson,Daniel:推断规范以检测代码中的错误(2007)ioport公司