×

合金

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文件
全部的 前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 杨萍

按年份列出的引文