×

聚乙烯醇水杨酸

swMATH ID: 8423
软件作者: AlTurki,M.,Meseguer,J
描述: PVeStA:一种并行统计模型检查和定量分析工具。统计模型检查是一种很有吸引力的形式化分析方法,适用于概率系统,例如通常具有概率性质的网络物理系统。本文旨在大幅提高统计模型检查的可扩展性,并将这种分析可扩展性提供给像Maude这样的工具,在Maude中,概率系统可以被指定为概率重写理论。它介绍了PVeStA,这是VeStA统计模型检查工具的扩展和并行化[10]。PVeStA支持概率实时系统的统计模型检查,指定为:(i)离散或连续马尔可夫链;或(ii)莫德的概率重写理论。此外,它可以建模检查的属性可以表示为:(i)PCTL/CSL,或(ii)QuaTEx定量时序逻辑。正如我们的实验所表明的,从并行化中获得的性能增益可能非常高。
主页: http://rd.springer.com/chapter/10.1007/978-3642-22944-228
相关软件: 莫德;PMaude公司;VESTA公司;棱镜;PSMaude公司;MultiVeStA公司;ITP公司;D装货商;MFE公司;Uppaal公司;OBJ咖啡馆;帕戈达;Java+ITP;K校准仪;vlogsl语言;距离-弧度;时刻2;K工具;毫米;托勒密
引用于: 14文件

按年份列出的引文