普罗米拉 swMATH ID: 7635 软件作者： Natarajan，V。；杰拉德·J·霍尔兹曼。 描述： PROMELA操作语义概述。PROMELA是一种高级规范语言，用于对分布式系统中的交互进行建模，并表达关于此类交互的逻辑正确性要求。模型检查器SPIN接受用这种语言编写的规范，它可以为每种类型的属性生成自动证明。SPIN要么证明属性在给定系统中有效，要么生成一个反例，表明它不是有效的。本文概述了PROMELA的操作语义定义。 主页： http://spinroot.com/spin/Man/promela.html 关键词： 普罗米拉;规范语言;分布式系统 相关软件： 自旋蛋白;jSpin（jSpin）;ProB公司;Uppaal公司;伊莎贝尔/HOL;罗丹;班德拉;Java PathFinder;沟槽;LOTOS公司;鹦鹉螺;SymmSpin公司;顶部旋转;蚀刻;第2b页;里奥;Virtuoso下一步;蛋糕ML;埃斯特雷尔;卢斯特 引用于： 30文件 全部的 前5名被73位作者引用 4 斯特凡·洛伊 2 阿拉斯泰尔·唐纳森。 2 卢西亚娜·福斯 2 杰拉德·J·霍尔兹曼。 2 佛罗伦萨伊帕特 2 莫阿塔斯·卡梅尔 2 拉卢卡左翼 2 Michael Leuschel先生 2 里贝罗，莱拉 1 藤崎青木 1 迈克尔·巴尔达穆斯 1 莫德凯·本·阿里 1 马塞洛·玛丽亚·邦桑格 1 朱利安·布伦纳 1 杰西卡·陈 1 千叶，Yuki 1 凯文·康普顿。 1 达席尔瓦，弗拉维奥·索雷斯·科雷亚 1 洛科·德尼古拉 1 玛丽亚·德尔马·加拉多 1 奥斯马·马奇·多斯桑托斯 1 费尔南多·路易斯·多蒂 1 冯慧 1 费尔南德斯·维内罗（Fernández Venero）、米尔塔·利纳（Mirtha Lina） 1 曼纽尔·加西亚·基斯蒙多 1 西蒙·盖伊。 1 克里斯·乔治（Chris W.George）。 1 玛丽安·盖奥吉 1 Jean-Charles，格雷戈里 1 西蒙·扬奇 1 Marta Z.Kwiatkowska。 1 Ladkin，Peter B。 1 彼得·兰米奇 1 本杰明·利昂 1 玛丽莎·洛伦斯 1 阿尔贝托·卢什·拉富恩特 1 米歇尔·洛雷蒂 1 阿娜·保拉·Lüdtke Ferreira 1 阿维纳什·马利克 1 蒂埃里·雅克·马萨特 1 理查德·梅尔（Richard M.Mayr）。 1 佩德罗·梅里诺 1 劳伦·米尔勒 1 米克，埃里克 1 爱丽丝·安·米勒 1 安德烈亚·莫里切塔 1 格钦·诺曼 1 迈克尔·诺里什 1 哈维尔·奥利弗 1 和平公园 1 大卫·F·帕克。 1 Doron A.Peled。 1 佩雷兹·吉梅内斯（Pérez-Jiménez），马里奥·J·。 1 胡安·伊格纳西奥·佩尔纳 1 埃内斯托·皮门特尔 1 Paula J.Pingree。 1 罗萨里奥·普格利泽 1 圆，威廉·C。 1 佐兰·萨尔西奇 1 若晨Schröder-Babo 1 瓦莱里奥·塞尼 1 乔塞普·席尔瓦 1 宋和松 1 萨尔瓦多塔马利特 1 Tan、Li 1 弗朗西斯科·蒂埃齐 1 克里斯蒂娜·图多斯 1 阿德里安·厄尔卡努 1 路易斯·瓦伦西亚-卡布雷拉 1 Vu，Dieu-Houng先生 1 魏，魏 1 肯罗·亚塔克 1 曾伯龙 全部的 前5名10篇连载文章中引用 2 计算机程序设计科学 2 自动推理杂志 2 计算的形式方面 1 信息与计算 1 国际计算机科学基础杂志 1 国际计算机数学杂志 1 数学与人工智能年鉴 1 计算机语言、系统和结构 1 DIMACS系统。离散数学和理论计算机科学系列 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 30 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文