×

自旋蛋白

swMATH ID: 3455
软件作者: 贝尔实验室
描述: Spin是一种流行的开源软件工具,在世界各地有数千人使用,可以用于分布式软件系统的正式验证。该工具是由贝尔实验室在计算科学研究中心最初的Unix小组中开发的,从1980年开始。自1991年以来,该软件一直免费提供,并不断发展以跟上该领域的新发展。2002年4月,该工具被美国计算机学会授予2001年度久负盛名的系统软件奖
主页: 网址:http://spinroot.com/spin/whatispin.html
编程语言: C类
依赖项: R(右)
关键词: 通用ORB间协议;模型检查;Promela/旋转;时序逻辑;规范模式
相关软件: NuSMV公司;Uppaal公司;班德拉;Java PathFinder;贝博普;CESAR公司;SLAM公司;LTL2BA公司;PVS公司;高超声速;棱镜;veriSoft软件;克洛诺斯;普罗米拉;CADP公司;迪维尼;BEEM公司;茂物;莫德;爆炸
引用于: 619文件
更多出版物: http://spinroot.com/spin/theory.html
全部的 前5名

1195位作者引用

19 段振华
15 田聪
14 Moshe Ya’akov瓦尔迪
11 杰拉德·J·霍尔兹曼。
11 张楠
10 拉杰夫·阿鲁尔
9 马修·德怀尔。
9 霍夫曼,约格
9 拉杜·马特埃斯库
9 爱丽丝·安·米勒
8 约翰·哈特克利夫
8 佛罗伦萨伊帕特
7 阿拉斯泰尔·唐纳森。
7 萨瓦斯·科努尔
7 奥尔纳·库普弗曼
7 拉卢卡左翼
6 吉安弗兰科·西亚多
6 哈维尔·埃斯帕尔扎
6 玛丽安·盖奥吉
6 维姆·赫塞林克。
6 迭戈·拉特拉
6 梅克·马西克
5 卡德,莫菲
5 斯特凡·爱德坎普
5 迈克尔·费希尔
5 斯特凡妮娅·格内西
5 Keijo Heljanko
5 弗兰乔·伊万契奇
5 伊戈尔·康诺夫(Igor V.Konnov)。
5 丹尼尔·科宁
5 弗雷德里克·朗
5 斯特凡·洛伊
5 何塞·梅塞盖尔·瓜伊塔
5 沙兹·卡迪尔
5 罗摩克里希南。
5 马修·罗比
5 斯文·舍韦
4 卢博什·布里姆
4 特夫菲克·布尔坦
4 伊万娜·乔纳
4 Thao Dang先生
4 梅迪·达斯坦尼(Mehdi M.Dastani)。
4 伯恩德·芬克贝纳
4 休伯特·加拉维
4 安吉洛·加甘蒂尼
4 戈帕拉克里什南(Gopalakrishnan)、加内什·拉利塔(Ganesh Lalitha)
4 Jan Friso,格鲁特
4 托马斯·亨辛格(Thomas A.Henzinger)。
4 金·古德斯特兰·拉森
4 伊斯特万·马齐克
4 科琳娜·s·佩斯勒诺。
4 安德拉斯·帕塔里察
4 Doron A.Peled。
4 安德烈亚斯·波德尔斯基
4 Rajamani,Sriram K。
4 雅各布·雷霍夫
4 米歇尔·阿德里安·雷尼尔
4 里贝罗,莱拉
4 鲁达,雅各布斯·E。
4 阿比克·罗伊乔杜里
4 罗伯托·塞巴斯蒂亚尼
4 莫里斯·比克。
4 达尼尔·瓦罗
4 赫尔穆特·维思
4 威廉·维瑟
4 海克·卫尔海姆
4 约瑟夫·威德
4 安东·威伊斯(Anton J.Wijs)。
4 皮埃尔·沃尔珀
亚历克斯·A·阿拉文。
克里斯特尔·拜尔
JiříBarnat
David A.Basin。
伯纳德·博伊格洛特
拉斐尔·博迪尼。
艾哈迈德·博阿贾尼
陈玉芳
亚历山德罗·西马蒂
拜伦·库克
阿列克桑达尔·迪莫夫斯基。
尤尔根·迪克斯
亚历山大·杜雷特·卢茨
库沙·埃特萨米
威廉·扬·福克金
法特梅·加塞米
丹尼尔·格纳德
埃里克·古堡
奥雷利·胡罗
拉杜·奥西夫
马吕斯·克劳泽
鲍里斯·科涅夫
Sandeep S.Kulkarni。
萨尔瓦多拉托雷
蒂莫·拉塔瓦拉
李因苏普
Michael Leuschel先生
阿尔贝托·卢什·拉富恩特
杰拉尔德·吕特根
理查德·梅尔(Richard M.Mayr)。
Moszkowski,Ben C。
…还有1095名作者
全部的 前5名

74篇连载文章中引用

43 计算的形式方面
36 理论计算机科学
35 系统设计中的形式化方法
22 计算机程序设计科学
12 信息学学报
12 逻辑与代数程序设计杂志
10 自动推理杂志
10 程序设计中的逻辑和代数方法杂志
8 信息与计算
8 数学与人工智能年鉴
6 应用逻辑杂志
5 人工智能
5 信息处理信件
5 计算机与系统科学杂志
5 计算机科学中的逻辑方法
4 实时系统
4 离散事件动态系统
4 人工智能研究杂志
编程和计算机软件
组合优化期刊
高阶和符号计算
计算机基础理论
应用数学杂志
ACM计算逻辑事务
膜计算杂志
2 信息科学
2 符号计算杂志
2 计算机科学与技术杂志
2 MSCS公司。计算机科学中的数学结构
2 分布式计算
2 美国计算机学会期刊
2 通用计算机科学杂志
1 倒排索引综述
1 国际系统科学杂志
1 Automatica公司
1 《计算机杂志》。A部分/B部分
1 计算
1 纯逻辑与应用逻辑年鉴
1 国际并行程序设计杂志
1 计算机与运筹学
1 逻辑与计算杂志
1 国际计算机科学基础杂志
1 国际计算机数学杂志
1 控制论与系统分析
1 应用非经典逻辑杂志
1 函数编程杂志
1 符号逻辑公报
1 约束条件
1 计算系统理论
1 武汉大学自然科学学报
1 RAIRO公司。理论信息学及其应用
1 逻辑程序设计理论与实践
1 计算机语言、系统和结构
1 离散优化
1 中国科学。F系列
1 浙江大学学报。科学A
1 DIMACS系统。离散数学和理论计算机科学系列
1 控制与信息科学课堂讲稿
1 计算智能研究
1 计算机科学中的数学
1 非线性分析。混合动力系统
1 电子设计自动化的基础与发展趋势
1 理论计算机科学的基础和发展趋势
1 科学中国。技术科学
1 科学中国。信息科学
1 统计与计算
1 计算机科学前沿
1 计算机科学评论
1 国际系统科学杂志。系统与集成原理与应用
1 Modelirovanie i Analiz信息系统
1 商业信息处理课程讲稿
1 施普林格应用科学与技术简介
1 理论计算机科学专著。EATCS系列
1 多智能体系统、人工社会和模拟组织

按年份列出的引文