合金 swMATH ID: 1247 软件作者: 丹尼尔·杰克逊 描述: 合金:软件建模的新技术。Alloy是用于软件建模的轻量级语言。它的设计是灵活和富有表现力的,并且能够进行全自动的模拟和检查。Alloy的核心是用关系运算符扩展的简单一阶逻辑。简单的结构机制允许Alloy用于各种习惯用法,并支持模型的增量构建。合金通过转换为SAT进行分析。该工具的当前版本使用Chaff和Berkmin解算器;这些功能强大到足以处理2100或更多的搜索空间。Alloy已经应用于不同领域的问题,从检查Microsoft COM的约定到调试名称服务器的设计。最近,我们用它检查了为任意拓扑设计的分布式算法。我们还研究了Alloy在分析面向对象代码中的应用。 主页: http://alloy.mit.edu/alloy(合金)/ 相关软件: 美国铝业公司;自旋蛋白;Z;糠;测试时代;Coq公司;梅斯4;Z/EVES公司;z3(零3);南美林猫;PVS公司;伊莎贝尔/HOL;马戏团;第二代外国存托凭证;NuSMV公司;超小卫星;SETL公司;UML到CSP;组织环境信息系统;Why3号机组 引用于: 29文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 合金:一种用于软件建模的新技术。 Zbl 1043.68520号丹尼尔·杰克逊 2002 全部的 前5名61位作者引用 4 克里斯蒂亚,马克西米利亚诺 4 加布里埃尔·坦泽尔 3 Gianfranco罗西 2 托尔斯滕·阿伦特 2 卡斯滕·埃里格 2 安妮格雷特·哈贝尔 2 丹尼尔·杰克逊 2 乔森·马尔特·库斯特 2 洛佩斯·蓬博,卡洛斯·古斯塔沃 2 亨德里克·拉德克 2 伊利亚·什利亚克特 2 杰西卡·温克尔曼 1 塔斯尼姆·纳赛尔·叶海亚 1 马克·巴蒂 1 Jan Steffen Becker 1 保罗·博尔巴 1 阿图尔·博罗纳特 1 奥马尔·切尔卡乌伊 1 乔治·康斯坦丁德斯(George A.Constantinides)。 1 吉多·德卢卡 1 鲁迪·迪卡 1 迈克尔·德利西 1 穆罕默德·埃尔巴奇尔·梅奈 1 艾尔·加齐(El Ghazi),阿布巴克·阿赫拉夫(Aboubakr Achraf) 1 马塞洛·法比昂·弗里亚斯 1 克劳迪娅·弗莱德曼 1 乌尔里希·盖尔曼 1 罗希特·盖伊 1 霍尔格·吉斯 1 戈帕拉克里什南(Gopalakrishnan)、加内什·拉利塔(Ganesh Lalitha) 1 西尔万·霍尔 1 迈克尔·R·A·胡特。 1 Joosten,Sebastian J.C。 1 萨尔夫拉兹·库希德 1 罗伯特·M·II·柯比 1 克里希纳穆提,施莱姆 1 莱恩·兰伯斯 1 李国栋 1 卡洛斯·卢纳 1 阿古斯汀·埃洛伊·马丁内斯·苏涅 1 蒂亚戈·马索尼 1 何塞·梅塞盖尔·瓜伊塔 1 玛丽亚诺·莫斯卡托(Mariano M.Moscato)。 1 蒂姆·纳尔逊 1 索拉维,Porncharenwase 1 谢哈尔·普拉丹 1 罗马克里希南,C.R。 1 阿米特·萨斯图卡尔 1 施耐德(Steve A.Schneider)。 1 大卫·索洛维奇克 1 泰勒·索伦森 1 斯科特·斯托勒。 1 马纳·塔赫迪里 1 海伦·特里哈恩 1 马蒂亚斯·乌尔布里奇 1 马尔科·瓦西奇 1 罗杰·维尔梅尔 1 武和田。 1 海克·卫尔海姆 1 约翰·威克森 1 杨萍 全部的 前5名8篇连载文章中引用 2 自动推理杂志 2 计算的形式方面 1 离散应用数学 1 理论计算机科学 1 计算机程序设计科学 1 计算机科学与技术杂志 1 逻辑程序设计理论与实践 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 29 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 按年份列出的引文