MultiVeStA公司 swMATH ID: 8424 软件作者: 塞巴斯蒂安·斯蒂法诺;安德烈·范丁 描述: MultiVeStA:离散事件模拟器的统计模型检查。大规模系统的建模、分析和性能评估是一项艰巨的任务。由于所考虑系统的规模和复杂性,工程师通常采用的方法是对系统模型进行仿真,以获得定量特性的统计估计。类似地,从事定量分析的计算机科学家使用的一种技术是统计模型检查(SMC),其中使用严格的数学语言(通常是逻辑)来表示感兴趣的系统属性。然后,可以通过对手头的模型进行模拟的工具来自动估计这些特性。这些属性规范语言通常在工程师中并不流行,它们提供了一种正式、简洁和优雅的方式来表达系统属性,而无需在模型定义中对其进行硬编码。本文介绍了MultiVeStA,这是一种统计分析工具,可以很容易地与现有的离散事件模拟器集成,并用高效的分布式统计分析和SMC功能丰富了它们。 主页: 网址:http://eprints.imtlucca.it/1798/ 相关软件: 莫德;聚乙烯醇水杨酸;皮尔洛;SCEL公司;PSMaude公司;PMaude公司;棱镜;克拉姆;自旋蛋白;VESTA公司;风暴;ITP公司;PyMC公司;D装货商;MFE公司;PORGY公司;Matlab公司;FAMT公司;RNet徽标;ASAP3公司 引用于: 6文件 全部的 前5名23位作者引用 2 弗朗切斯科·蒂齐 1 马里奥·布拉维蒂 1 卡洛斯·卡马乔。 1 弗朗西斯卡·奇亚罗蒙特 1 洛科·德尼古拉 1 亚历山德罗·范特奇 1 吉安·路易吉,法拉利 1 丹尼尔·贾奇尼 1 斯特凡妮娅·格内西 1 弗朗西斯科·兰佩蒂 1 路易斯·拉纳 1 亚历山德罗·马吉 1 马丁·奥列特,纳西索 1 弗朗科·马扎蒂 1 阿尔贝托·努涅斯 1 玛丽内拉·彼得罗奇 1 伊莎贝尔·皮塔 1 罗萨里奥·普格利泽 1 鲁宾·鲁比奥 1 安吉洛·斯波格纳迪 1 莫里斯·比克。 1 安德烈·范丁 1 阿尔贝托·维尔德乔 引用于2个系列 4 程序设计中的逻辑和代数方法杂志 1 经济动力学与控制杂志 在4个字段中引用 5 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 统计学(62-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文