×

SymmSpin公司

swMATH ID: 7517
软件作者： 博什纳奇奇，德拉甘作者简介；Dams，Dennis；莱泽克·霍伦德斯基
描述： 对称自旋我们详细描述了SymmSpin，一个用于Spin的symmetry还原包。它提供了四种基于我们前面提出的启发式的状态空间缩减策略，以及供参考的第五种模式。本文描述了一系列新的实验，强调了启发式的有效性，并证明了该实现对多个标量集、多个进程族以及几乎完整的Promela语言的泛化。
主页： http://rd.springer.com/chapter/10.1007%2F10722468_1
关键词： SymmSpin公司;旋转用对称还原包装;模型检查
相关软件： 自旋蛋白;顶部旋转;茂物;Uppaal公司;dSPIN公司;班德拉;间隙;旋转到葡萄;贵宾;Java PathFinder;鹦鹉螺;普罗米拉;jSpin（jSpin）;Z2sal公司;工作室B;B4免费;ProB公司;罗丹;SLAM公司;DD验证
引用于： 15文件

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
对称自旋。 兹比尔0976.68570
博什纳奇·德拉甘;亲爱的，丹尼斯;莱泽克·霍伦德斯基
2000
全部的 前5名

30位作者引用

5 阿拉斯泰尔·唐纳森。
4 爱丽丝·安·米勒
三 马修·德怀尔。
三 约翰·哈特克利夫
三 马修·罗比
2 博什纳奇·德拉甘
1 杰拉德·巴斯勒
1 达姆，丹尼斯·雷内
1 朱汉·厄尼茨
1 莱泽克·霍伦德斯基
1 马修·胡西尔
1 拉杜·奥西夫
1 穆罕默德·马赫迪·贾古奥里
1 埃桑·卡梅斯帕纳
1 汉娜·克劳代尔
1 马西耶·库特尼
1 丹尼尔·科宁
1 斯特凡·洛伊
1 Michael Leuschel先生
1 阿尔贝托·卢什·拉富恩特
1 蒂埃里·雅克·马萨特
1 米歇尔·马祖奇
1 穆罕默德·穆萨维
1 阿里·莫瓦加尔
1 伊丽莎白·佩尔兹
1 法兰克·波默罗
1 Ranganath，文卡特什·普拉萨德
1 马尔詹·西尔贾尼
1 玛格斯·维纳斯
1 托马斯·沃尔

4篇连载文章中引用

2 系统设计中的形式化方法
2 数学与人工智能年鉴
1 信息学报
1 自动推理杂志

在3个字段中引用

15 计算机科学（68至XX）
2 群论与推广（20-XX）
1 数学逻辑和基础（03-XX）

按年份列出的引文