自旋蛋白 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 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 SPIN教程:如何成为SPIN医生。 Zbl 1077.68703号西奥·C·鲁伊斯。 2002 全部的 前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 多智能体系统、人工社会和模拟组织 全部的 前5名19个领域引用 601 计算机科学(68至XX) 100 数学逻辑和基础(03-XX) 25 系统论;控制(93至XX) 15 运筹学、数学规划(90-XX) 9 生物学和其他自然科学(92-XX) 6 博弈论、经济学、金融和其他社会和行为科学(91-XX) 5 信息与通信理论、电路(94-XX) 4 组合数学(05-XX) 三 总体主题;集合(00-XX) 2 有序,格,有序代数结构(06-XX) 2 群论与推广(20-XX) 2 数值分析(65-XX) 1 数论(11-XX) 1 范畴理论;同调代数(18-XX) 1 一般拓扑结构(54至XX) 1 代数拓扑(55-XX) 1 统计学(62-XX) 1 流体力学(76-XX) 1 数学教育(97-XX) 按年份列出的引文