×

团结

swMATH标识： 13461
软件作者： K、 曼尼·钱迪；贾亚德夫·米斯拉
说明： 统一仿真模型开发与分析。我们评估UNITY——Chandy和Misra[5]定义的用于开发并行和分布式程序的计算模型、规范语言和证明系统——作为仿真模型规范和分析的平台。我们描述了一种基于统一性的仿真模型的构造、分析和执行方法。该方法首先以一组耦合状态转移系统的形式描述仿真模型。描述了将转换系统首先映射成一组形式断言，允许对转换系统进行形式验证，然后映射到可执行程序的机械方法。该方法提供了一种独立验证过渡系统正确性的方法：可以形式化地指定模型应该遵守的属性，并使用形式化规范证明它们是定理。该方法通过在分布式存储并行结构上使用时间扭曲协议生成一个解决机器干扰问题的仿真程序来说明。
主页： https://en.wikipedia.org/wiki/UNITY\%28编程语言%29
关键词： 仿真规范;模拟验证;并行仿真协议;团结
相关软件： 数量;PVS公司;荷兰语;旋转;落叶松;罗丹;可口可乐;目标3;塞萨尔;伊莎贝尔/霍尔;毫升;咖啡馆;莫德;Z;Nuprl公司;雷奥;埃斯特雷尔;糕点;和弦;合一
参考文献： 173种出版物

标准条款

2个出版物描述软件，包括2个出版物在zbMATH 年
统一仿真模型开发与分析。 Zbl 1081.90581
佩奇，欧内斯特·H。;艾布拉姆斯，马克
2001
并行程序设计。一个基金会。 Zbl 0717.68034
钱迪，K。曼尼;米斯拉，贾亚德夫
1988
全部的 前5名

262位作者引用

14 海瑟林，维姆H。
6 米斯拉，贾亚德夫
4 高知县富通寺
4 辛格，安布杰K。
三 安德森，詹姆斯H。
三 阿蒂，保罗·C。
三 钱迪，卡尼安特拉·马尼
三 Dijkstra，Rutger M。
三 修好，利莫
三 弗朗西兹，尼西姆
三 格罗特，简·弗里索
三 格鲁伯格，奥娜
三 哈珀，约瑟夫·耶胡达
三 刘志明
三 McIver，Annabelle K。
三 梅斯盖尔·瓜伊塔，何塞
三 普拉塞提亚，I.S.W.B。
三 桑德斯，贝弗利A。
三 斯法基斯，约瑟夫
三 斯威斯特拉，S.Doaisse
2 阿拉文，亚历克斯A。
2 本萨勒姆，萨德克
2 波兹加，马吕斯
2 布兰特，詹斯
2 Dederichs，弗兰克
2 多戈尔，布里杰什
2 菲拉利，马蒙
2 戈达，穆罕默德G。
2 黄，泰国儿子
2 强森，本特
2 约瑟夫，马太
2 Kindler，Ekkart
2 李小周
2 梅瑞，多米尼克
2 蒙塔纳里，乌戈·G。
2 摩根，卡罗尔C。
2 内斯特连科，米哈伊尔诉。
2 绪方，和弘
2 奥尔德罗，恩斯特-吕迪格
2 施耐德，克劳斯
2 跺脚，弗兰克
2 van de Snepscheut，一月洛杉矶。
2 王胜元
2 韦伯，雷纳
2 袁崇义
1 阿卜杜拉，帕罗什·阿齐兹
1 亚伯拉罕，乌里
1 艾布拉姆斯，马克
1 阿达里，S。
1 啊哈，古拉。
1 阿吉尔，纳扎里诺M。
1 阿马尔，雷达A。
1 阿罗拉，阿尼什
1 阿斯特西亚诺，埃吉迪奥
1 回来，拉尔夫·约翰
1 贝，京敏
1 巴格罗迪亚，拉吉夫L。
1 巴博萨，瓦尔米尔·卡内罗
1 贝瑞，杰拉德
1 贝斯塔，米洛斯
1 贝维尔，威廉R。
1 比克福德，马克
1 波德维，让保罗
1 Bonakdarpour，Borzoo
1 博格，伊贡
1 艾哈迈德·布瓦贾尼
1 伯多尔，杰拉德
1 伯克，蒂莫西
1 布拉马斯，昆汀
1 布鲁尼，罗伯托
1 别伊，马克
1 布什，迈克尔R。
1 凯文，肯
1 坎塞尔，多米尼克
1 卡斯特罗，巴勃罗F。
1 陈国梁
1 陈晓芳
1 陈振邦
1 周清荃
1 崔，曼哈伊
1 克莱维尔，曼纽尔
1 克劳泽，托马斯
1 科莱特，皮埃尔
1 科尔文，罗伯特J。
1 警察，罗伯特·李
1 克雷古特，皮埃尔
1 德波尔，弗兰克·S。
1 德玛西，拉米罗
1 多利夫，什洛米
1 东，劲松
1 董汝珍
1 董，元
1 Egecioglu，奥马尔
1 埃克，史蒂文
1 传道者，迈克尔
1 埃弗拉德，雨果
1 费伯，约翰尼斯
1 费金，罗纳德
1 菲亚迪罗，何塞·路易斯
1 福克金，威廉·扬
…还有162位作者
全部的 前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 计算逻辑学报
1 离散算法杂志
1 应用逻辑杂志
1 计算机科学讲义
1 计算机科学中的逻辑方法
1 科学中国。信息科学
1 形式化数学
1 程序设计中的逻辑和代数方法杂志
全部的 前5名

在11个字段中引用

170 计算机科学（68-XX）
19 数理逻辑与基础（03-XX）
4 信息与通信理论，电路（94-XX）
2 组合数学（05-XX）
2 概率论与随机过程（60-XX）
2 运筹学，数学规划（90-XX）
1 序，格，有序代数结构（06-XX）
1 范畴论；同调代数（18-XX）
1 动力系统与遍历理论（37-XX）
1 数值分析（65-XX）
1 系统论；控制（93-XX）

按年份引用出版物