×

联合

swMATH ID: 13461
软件作者: K.Mani Chandy;贾亚德夫·米斯拉
描述: UNITY中的仿真模型开发和分析。我们评估UNITY——Chandy和Misra[5]定义的用于开发并行和分布式程序的计算模型、规范语言和证明系统——作为仿真模型规范和分析的平台。我们描述了一种基于UNITY的仿真模型构建、分析和执行方法。该方法从一组耦合状态转移系统形式的仿真模型规范开始。描述了将转换系统首先映射为一组形式断言的机械方法,允许对转换系统进行形式验证,然后将其映射为可执行程序。该方法提供了一种独立验证转换系统正确性的方法:可以正式指定模型应遵循的属性,并使用形式规范将其作为定理加以证明。通过在分布式存储并行体系结构上使用时间扭曲协议生成一个解决机器干扰问题的仿真程序,说明了该方法。
主页: https://en.wikipedia.org/wiki/UNITY_%28programming_language%29
关键词: 仿真规范;仿真验证;并行仿真协议;联合
相关软件: NQTHM公司;PVS公司;HOL公司;自旋蛋白;落叶松;莫德;罗丹;Coq公司;OBJ3型;CESAR公司;Z轴;伊莎贝尔/HOL;毫升;OBJ咖啡馆;Nuprl公司;Reo公司;酯类;糕点;和弦;MONA公司
引用于: 183文件
全部的 前5名

271位作者引用

14 维姆·赫塞林克。
6 贾亚德夫·米斯拉
4 高基町五指
4 Ambuj K·辛格。
詹姆斯·安德森。
保罗·C·阿蒂。
卡尼安特拉·马尼·钱迪
罗格斯·M·迪杰斯特拉。
菲克斯,利莫
尼西姆·弗朗西兹
Jan Friso,格鲁特
奥尔纳·格伦伯格
Joseph Yehuda Halpern
Ekkart Kindler公司
刘志明
Annabelle K.McIver。
何塞·梅塞盖尔·瓜伊塔
奥尔德罗格(Ernst-Rüdiger Olderog)
普拉塞提亚,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 阿加,古尔·A。
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 马克·布伊
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位作者

按年份列出的引文