×

VESTA公司

swMATH ID: 8425
软件作者: Koushik Sen、Mahesh Viswanathan、Gul Agha
描述: VESTA:概率系统的统计模型检查器和分析器。VESTA是概率系统的统计分析工具。它支持统计模型检查[6,7]和时态表达式期望值的统计评估。对于模型检查,VESTA使用一系列相互关联的统计假设测试来检查随机模型是否满足概率计算树逻辑(PCTL)[3]或连续随机逻辑(CSL)中指定的属性。此外,VESTA支持用一种称为Quantitative Temporal expressions(或简称QUATEX)的查询语言编写的表达式的预期值的统计计算。接下来,我们将介绍该工具的各个组件。
主页: http://osl.cs.illinois.edu/media/papers/sen-2005-qest-vesta.pdf
相关软件: 棱镜;莫德;HOL公司;伊米尔;聚乙烯醇水杨酸;PMaude公司;毫升;COSMOS公司;Uppaal公司;等离子体;APMC公司;HASL公司;MRMC公司;咖啡馆OBJ;帕戈达;MultiVeStA公司;MACOM公司;伊莎贝尔;时刻2;托勒密
引用于: 22文件

按年份列出的引文