联合 swMATH ID: 13461 软件作者: K.Mani Chandy;贾亚德夫·米斯拉 描述: UNITY中的仿真模型开发和分析。我们评估UNITY——Chandy和Misra[5]定义的用于开发并行和分布式程序的计算模型、规范语言和证明系统——作为仿真模型规范和分析的平台。我们描述了一种基于UNITY的仿真模型构建、分析和执行方法。该方法从一组耦合状态转移系统形式的仿真模型规范开始。描述了将转换系统首先映射为一组形式断言的机械方法,允许对转换系统进行形式验证,然后将其映射为可执行程序。该方法提供了一种独立验证转换系统正确性的方法:可以正式指定模型应遵循的属性,并使用形式规范将其作为定理加以证明。通过在分布式存储并行体系结构上使用时间扭曲协议生成一个解决机器干扰问题的仿真程序,说明了该方法。 主页: https://en.wikipedia.org/wiki/UNITY_%28programming_language%29 关键词: 仿真规范;仿真验证;并行仿真协议;联合 相关软件: NQTHM公司;PVS公司;霍尔;自旋蛋白;落叶松;莫德;罗丹;Coq公司;OBJ3型;CESAR公司;Z轴;伊莎贝尔/HOL;毫升;OBJ咖啡馆;Nuprl公司;里奥;酯类;糕点;弦;MONA公司 引用于: 183文件 标准条款 2出版物描述软件,包括2出版物以zbMATH为单位 年份 UNITY中的仿真模型开发和分析。 Zbl 1081.90581号佩奇,欧内斯特·H·。;马克·艾布拉姆斯 2001 并行程序设计。基金会。 Zbl 0717.68034号K.Mani Chandy;贾亚德夫·米斯拉 1988 全部的 前5名271位作者引用 14 维姆·赫塞林克。 6 贾亚德夫·米斯拉 4 高基町五指 4 Ambuj K·辛格。 三 詹姆斯·安德森。 三 保罗·C·阿蒂。 三 卡尼安特拉·马尼·钱迪 三 罗格斯·M·迪杰斯特拉。 三 菲克斯,利莫 三 尼西姆·弗朗西兹 三 Jan Friso,格鲁特 三 奥尔纳·格伦伯格 三 Joseph Yehuda Halpern 三 Ekkart Kindler公司 三 刘志明 三 McIver,Annabelle K。 三 何塞·梅塞盖尔·瓜伊塔 三 奥尔德罗格,恩斯特·吕迪格 三 普拉塞提亚,I.S.W.B。 三 贝弗利·A·桑德斯。 三 约瑟夫·西法基斯 三 斯威斯特拉,S.多伊茨 2 亚历克斯·A·阿拉文。 2 萨德克·本萨勒姆 2 马里乌斯·博兹加 2 詹斯·勃兰特 2 皮埃尔·科莱特 2 弗兰克·德德里奇 2 布里杰什·多戈尔 2 马蒙·菲拉利 2 穆罕默德·古达。 2 苏珊娜·格拉芙 2 Hoang,泰国儿子 2 本特·琼森 2 约瑟夫·马塔伊 2 李晓舟 2 克莱尔·洛伊索 2 多米尼克·梅里 2 乌戈·蒙塔纳里。 2 卡罗尔·C·摩根。 2 米哈伊尔·内斯特伦科五世。 2 Kazuhiro绪方 2 C.格雷格·普拉克斯顿 2 克劳斯·施耐德 2 弗兰克·斯托普 2 van de Snepscheut,Jan L.A。 2 王胜元 2 韦伯、雷纳 2 袁崇义 1 帕罗什·阿齐兹·阿卜杜拉 1 乌里·亚伯拉罕 1 艾布拉姆斯,马克 1 阿达里,S。 1 古尔·阿加(Gul A.Agha)。 1 Nazareno M.阿吉雷。 1 雷达·A·阿马尔。 1 阿诺拉,阿尼什 1 埃吉迪奥·阿斯泰西亚诺 1 回来了,拉尔夫·约翰 1 Bae,Kyungmin先生 1 拉吉夫·巴格罗迪亚。 1 巴博萨,瓦尔米尔·卡内罗 1 杰拉德·贝里 1 米洛斯·贝斯塔 1 威廉·贝维尔(William R.Bevier)。 1 马克·比克福德 1 Jean-Paul Bodeveix公司 1 博尔祖·博纳克达尔普尔 1 伊贡博格尔 1 艾哈迈德·博阿贾尼 1 杰拉德·布多尔 1 蒂莫西·布鲁克 1 昆廷·布拉马斯 1 罗伯托·布鲁尼 1 Bui,马克 1 布什,迈克尔·R。 1 肯·卡尔弗特 1 多米尼克·坎塞尔 1 巴勃罗·卡斯特罗。 1 查克拉巴蒂,苏丹 1 陈国良 1 陈晓芳 1 陈振邦 1 周庆孙 1 Manhoi Choy公司 1 曼纽尔·克莱维尔 1 托马斯·克劳泽 1 罗伯特·J·科尔文。 1 罗伯特·李,警察 1 皮埃尔·克雷古特 1 德波尔(Frank S。 1 拉米罗·德马西 1 什洛米·多列夫 1 董金松 1 董汝珍 1 董,袁 1 奥马尔·埃盖西奥格鲁 1 史蒂文·艾克 1 哈维尔·埃斯帕尔扎 1 传教士,迈克尔 …还有171位作者 全部的 前5名引用于31个系列 33 计算的形式方面 29 理论计算机科学 21 分布式计算 19 信息处理信件 8 信息学报 5 系统设计中的形式化方法 4 计算机程序设计科学 三 计算机科学与技术杂志 2 计算机与数学及其应用 2 国际并行程序设计杂志 2 自动推理杂志 2 逻辑与代数程序设计杂志 1 计算 1 信息科学 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 信息与计算 1 数学和计算机建模 1 并行与分布式计算杂志 1 运筹学年鉴 1 全球优化杂志 1 计算系统理论 1 微分方程与动力系统 1 ACM计算逻辑汇刊 1 离散算法杂志 1 应用逻辑杂志 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 1 科学中国。信息科学 1 形式化数学 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在12个字段中引用 180 计算机科学(68至XX) 22 数学逻辑和基础(03-XX) 4 信息与通信理论、电路(94-XX) 2 组合数学(05-XX) 2 阶、格、有序代数结构(06-XX) 2 概率论与随机过程(60-XX) 2 运筹学、数学规划(90-XX) 1 交换代数(13-XX) 1 范畴理论;同调代数(18-XX) 1 动力系统和遍历理论(37至XX) 1 数值分析(65-XX) 1 系统论;控制(93至XX) 按年份列出的引文