普罗米拉 swMATH ID: 7635 软件作者： Natarajan，V。；杰拉德·J·霍尔兹曼。 描述： PROMELA操作语义概述。PROMELA是一种高级规范语言，用于对分布式系统中的交互进行建模，并表达关于此类交互的逻辑正确性要求。模型检查器SPIN接受用这种语言编写的规范，它可以为每种类型的属性生成自动证明。SPIN要么证明属性在给定系统中有效，要么生成一个反例，表明它不是有效的。本文概述了PROMELA的操作语义定义。 主页： http://spinroot.com/spin/Man/promera.html 关键词： 普罗米拉;规范语言;分布式系统 相关软件： 自旋;jSpin公司;ProB公司;Uppaal公司;伊莎贝尔/HOL;罗丹;班德拉;Java PathFinder;沟槽;LOTOS公司;鹦鹉螺;SymmSpin公司;顶部旋转;ETCH公司;第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 盖伊，西蒙·J。 1 乔治，克里斯·W。 1 玛丽安·盖奥吉 1 让-查尔斯，格雷戈伊尔 1 西蒙·扬奇 1 Marta Z.Kwiatkowska。 1 彼得·拉德金。 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 威廉·罗恩斯（William C.Rounds）。 1 萨尔西奇、佐兰 1 若晨Schröder-Babo 1 瓦莱里奥·塞尼 1 乔塞普·席尔瓦 1 宋和松 1 萨尔瓦多塔马利特 1 Tan、Li 1 弗朗切斯科·蒂齐 1 克里斯蒂娜，Tudose 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） 按年份列出的引文