COSMOS公司 swMATH ID: 13329 软件作者： Ballarini，P.、Djafri，H.、Duflot，M.、Haddad，S.、Pekergin，N。 描述： COSMOS：混合自动机随机逻辑的统计模型检查器。本文介绍了Cosmos，一种用于混合自动机随机逻辑（HASL）的统计模型检查器。HASL使用线性混合自动机（LHA）来描述离散事件随机过程（DESP）的相关执行路径，该过程是一类随机模型，包括但不限于马尔可夫链。因此，HASL验证结果是一个统一的框架，其中复杂的时间推理与精细的基于报酬的分析自然融合在一起。COSMOS采用DESP（用广义随机Petri网描述）、LHA和表示待估计量的表达式Z作为输入。它返回Z的置信区间估计。COSMOS是用C++编写的，可供研究社区免费使用。 主页： http://ieeexplore.iee.org/xpl/login.jsp？tp=&arnumber=6042038 相关软件： 棱镜；伊米尔；VESTA公司；HASL公司；Uppaal公司；工具箱；风暴；工具箱2；SageMath软件；血浆lab；等离子体；APMC公司；SGN模拟；生物CHAM；MC2公司 引用于： 6文件 全部的 前5名16位作者引用 三 保罗·巴拉里尼 1 安帕罗雷，埃尔维奥·吉尔伯托 1 巴伯，贝诺 1 尼古拉斯·巴塞特 1 马可·贝库蒂 1 马哈茂德·本特里奥 1 马克·比昂纳多 1 保罗·亨里·库内德 1 苏珊娜·多纳泰利 1 玛丽·杜弗洛特 1 弗朗西斯基尼，朱利安娜 1 西里尔·杰古尔 1 Marta Z.Kwiatkowska。 1 Legay、Axel 1 克里斯蒂安·罗尔 1 肖恩·塞德瓦兹 连载1篇 三 理论计算机科学 在3个字段中引用 6 计算机科学（68至XX） 2 生物学和其他自然科学（92-XX） 1 统计学（62-XX） 按年份列出的引文