×

团结

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

按年份引用出版物