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文件 全部的 前5名被39位作者引用 8 奥斯曼·哈桑 8 索菲涅·塔哈尔 4 Olveczky,Peter Csaba 3 刘丽娅 2 保罗·巴拉里尼 2 西里尔·杰古尔 2 Legay、Axel 2 何塞·梅塞盖尔·瓜伊塔 2 肖恩·塞德瓦兹 1 纳伊姆·阿巴斯 1 文森特·阿拉万提诺斯 1 佛罗里达州阿诺德 1 Bae,Kyungmin先生 1 巴伯,贝诺 1 卢西安·本蒂亚 1 马哈茂德·本特里奥 1 保罗·亨利·库内德 1 玛丽·杜弗洛特 1 盖尔·杜勒鲁(Geir E.Dullerud)。 1 冯,托马斯·惠宁 1 Daniel E.Gebler。 1 霍尔格·吉斯 1 杰根·格雷芬德 1 古克,丹尼斯 1 谢尔盖·哈达德 1 哈桑·哈特菲 1 克里斯蒂安·克劳斯 1 李爱德华·阿什福德 1 刘,思 1 玛丽亚·马克西莫娃 1 克劳迪娜·皮卡罗尼 1 尼玛·鲁希 1 森·古普塔(Sen Gupta,Indranil) 1 斯蒂安·托瓦尔森 1 斯塔夫罗斯·特里帕基斯 1 马赫什·维斯瓦纳坦 1 王琪 1 王,于 1 维斯特,马修 全部的 前5名11连载 4 理论计算机科学 1 应用科学中的数学方法 1 计算机程序设计科学 1 计算机科学与技术杂志 1 自动推理杂志 1 计算的形式方面 1 系统设计中的形式化方法 1 逻辑与代数程序设计杂志 1 应用逻辑杂志 1 程序设计中的逻辑和代数方法杂志 1 Berichte aus der Automatisierungstechnik公司 在5个字段中引用 22 计算机科学(68至XX) 6 概率论与随机过程(60-XX) 3 数学逻辑和基础(03-XX) 1 统计学(62-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文