通过 swMATH ID: 4431 软件作者： 比约恩·瓦赫特；张丽君；霍尔格·赫尔曼；莫里茨·哈恩 描述： PASS是一种用于无限状态概率模型的分析工具。它基于谓词抽象和自动抽象细化。模型是在PRISM语言的变体中指定的。PASS计算达到用户指定的一组目标状态的概率。PASS有两个姐妹，PARAM和INFAMY，她们接受几乎相同的语言，但有不同的优势。 主页： http://dependen.cs.uni-sb.de/tools/pass（http://dependen.cs.uni-sb.de/tools/pass）/ 相关软件： 棱镜;CEGAR公司;风暴;参数;PROPhESY公司;MoDeST公司;狂喜;PRISM-游戏;PDDL公司;支付;贾尼;斯坦;ProbLog（问题日志）;GNU并联;拉比尼泽;LiQuor公司;ProbDiVinE公司;生物-PEPA;超小卫星;AMT公司 引用于： 12文件 更多出版物： http://depend.cs.uni-sb.de/tools/pass/publications网站/ 全部的 前5名32位作者引用 三 Marta Z.Kwiatkowska。 2 塞巴斯蒂安·荣格斯 2 简·Křetínsk \345] 2 托拜厄斯·梅根多夫 1 拜尔，克里斯特尔 1 罗伯托·巴布蒂 1 卢卡·德·阿尔法罗 1 克里斯蒂安·德内特 1 克劳斯·阿格博士 1 罗尔夫·德雷克斯勒 1 Forejt，Vojtěch公司 1 Daniel E.Gebler。 1 史蒂文·霍尔岑 1 大卫·詹森（David N.Jansen）。 1 Joost-Pieter卡托恩 1 Mark Kattenbelt公司 1 约翰内斯·莱曼 1 弗朗西丝卡·列维 1 保罗·米拉佐 1 托德·德·米尔斯坦。 1 格钦·诺曼 1 曲洪阳 1 圭多·斯卡纳 1 桑吉特·阿伦库马尔·塞希亚 1 马蒂杰斯·斯帕。 1 范登·布勒克，盖伊 1 马塞尔·瓦兹奎兹·香拉特 1 米歇尔·沃尔帕托 1 王淑玲 1 托比亚斯·温克勒 1 詹乃军 1 张丽君 引用于4个系列 2 理论计算机科学 1 计算的形式方面 1 系统设计中的形式化方法 1 计算机科学中的逻辑方法 全部的 前5名在7个字段中引用 11 计算机科学（68至XX） 4 运筹学、数学编程（90-XX） 2 概率论与随机过程（60-XX） 1 总体主题；集合（00-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的引文