×

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文件

按年份列出的引文