棱镜 swMATH ID: 1186 软件作者: 奎亚特科夫斯卡,玛尔塔;格钦·诺曼;大卫·帕克 描述: PRISM:概率符号模型检查器。在本文中,我们描述了伯明翰大学正在开发的用于概率系统分析的工具PRISM。PRISM支持三种概率模型:离散时间马尔可夫链、马尔可夫决策过程和连续时间马尔可夫链。根据概率时序逻辑PCTL和CSL中编写的规范,通过模型检查此类系统来进行分析。该工具具有三个模型检查引擎:一个是符号引擎,使用BDD(二进制决策图)和MTBDD(多终端BDD);一种是基于稀疏矩阵;以及一种结合了符号和稀疏矩阵方法的方法。PRISM已成功用于分析一系列系统的概率终止、性能和服务质量属性,包括随机分布式算法、制造系统和工作站集群。 主页: http://www.prismmodelchecker.org/ 相关软件: MRMC公司;风暴;Uppaal公司;自旋蛋白;生物-PEPA;政治公众人物协议;PRISM-游戏;z3型;CEGAR公司;CADP公司;NuSMV公司;MCMAS公司;PROPhESY公司;参数;APMC公司;伊米尔;克洛诺斯;LiQuor公司;生物CHAM;高超声速 引用于: 498文件 更多出版物: http://www.prismmodelchecker.org/publications.php 标准条款 2出版物描述软件,包括2出版物在zbMATH中 年份 概率符号模型检查器。 兹比尔1047.68533玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 2002 PRISM概率符号模型检验:一种混合方法。 Zbl 1043.68576号玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 2002 全部的 前5名822位作者引用 54 Marta Z.Kwiatkowska。 38 Joost-Pieter卡托恩 36 格钦·诺曼 15 塞巴斯蒂安·荣格斯 15 简·Křetínsk 14 霍尔格·赫尔曼斯 13 克里希南德·查特吉 12 亚历山德罗·阿巴特 12 克里斯特尔·拜尔 12 尼尔斯·詹森 11 恩斯特·莫里茨·哈恩 11 杰里米·斯普洛斯顿 11 张丽君 10 卢卡·博托卢西 9 卡德,莫菲 8 Forejt,Vojtěch公司 8 简·希尔斯顿 8 保罗·米拉佐 8 玛丽·斯托琳加 7 罗伯托·巴布蒂 7 陈、陶璐 7 佩德罗·鲁宾·达吉尼奥 7 斯特凡·基弗 7 金·古德斯特兰·拉森 7 Legay、Axel 6 艾丽卡·阿尔布拉汉姆 6 卢卡·卡德利 6 哈维尔·埃斯帕尔扎 6 斯文·舍韦 6 马库斯·西格尔 6 拉尔夫·维默(Ralf D.Wimmer)。 5 埃齐奥·巴托奇 5 迈克尔·费希尔 5 大卫·詹森(David N.Jansen)。 5 托拜厄斯·梅根多夫 5 安德里亚·图里尼 5 詹姆斯·沃雷尔。 4 保罗·巴拉里尼 4 贝恩德·贝克尔 4 多米尼克·楚 4 费德里卡·乔切塔 4 Dannenberg,弗里茨 4 埃里克·P·德文克。 4 克里斯蒂安·德内特 4 贝诺·德拉哈耶 4 Esmaeil Zadeh Soudjani,萨代 4 费雷尔·菲奥里蒂,路易斯·玛丽亚 4 霍尔格·吉斯 4 塞尔吉奥·吉罗 4 阿恩·哈特曼斯 4 奥斯曼·哈桑 4 托马斯·亨辛格(Thomas A.Henzinger)。 4 约阿希姆·克莱因 4 克吕佩尔霍尔茨,萨沙 4 萨瓦斯·科努尔 4 克里斯蒂安·克劳斯 4 马修·拉金。 4 弗朗西丝卡·列维 4 安德烈亚·马吉奥洛·谢蒂尼 4 爱丽丝·安·米勒 4 安德烈·穆拉夫斯基。 4 奥托普,简 4 乔尔·欧·瓦克宁。 4 庞、军 4 乔瓦尼·帕迪尼 4 安德鲁·菲利普斯 4 所罗门·西克特 4 西马提斯,艾斯蒂斯 4 索菲涅·塔哈尔 4 特里巴斯通,米尔科 4 阿舒托什特里维迪 4 范德波尔,扬·科内利斯 4 安德烈·范丁 4 马赫什·维斯瓦纳坦 4 比约恩·瓦希特 4 迈克尔·J·伍尔德里奇。 三 艾切尔尼格,伯恩哈德·K。 三 娜塔莎·亚历奇纳 三 奥纳·安德烈 三 巴伯,贝诺 三 纳塔莉·伯特兰 三 Jeremy T·布拉德利。 三 科什卡,米兰 三 马丁·奇梅利克 三 克拉克(Edmund Melson jun Clarke)。 三 Daca,Przemysław公司 三 克莱门斯·杜伯斯拉夫 三 乌里·法伦贝格 三 莫雷诺,法拉斯基 三 劳伦·弗里堡 三 玛丽安·盖奥吉 三 斯蒂芬·吉尔摩(Stephen T.Gilmore)。 三 朱利安·古铁雷斯 三 韩婷婷 三 Boudewijn R.哈维尔科特。 三 托马斯·Hérault 三 戴安娜埃尔米思 三 约翰·Hölzl 三 芭芭拉·乔布斯曼 三 Mark Kattenbelt公司 …还有722位作者 全部的 前5名56篇连载文章被引用 51 理论计算机科学 29 计算的形式方面 23 系统设计中的形式化方法 20 信息与计算 19 计算机科学中的逻辑方法 8 人工智能 8 计算机基础理论 7 计算机与系统科学杂志 7 逻辑与代数程序设计杂志 5 计算机科学课堂讲稿 4 信息学学报 4 Automatica公司 4 自动推理杂志 4 自然计算 4 理论生物学杂志 三 MSCS公司。计算机科学中的数学结构 三 ACM计算逻辑事务 三 程序设计中的逻辑和代数方法杂志 2 信息处理信件 2 Studia Logica公司 2 计算机程序设计科学 2 机器学习 2 欧洲控制杂志 2 美国计算机学会期刊 2 数学与信息年鉴 2 计算机科学评论 1 计算机与数学及其应用 1 国际通用系统杂志 1 国际理论物理杂志 1 ACM数学软件汇刊 1 计算 1 国际博弈论杂志 1 应用概率杂志 1 经济理论杂志 1 符号逻辑杂志 1 SIAM计算机杂志 1 符号计算杂志 1 并行与分布式计算杂志 1 实时系统 1 逻辑与计算杂志 1 统计计算与仿真杂志 1 数学科学杂志(纽约) 1 人工智能研究杂志 1 数学与人工智能年鉴 1 美国计算机学会模型和计算机仿真汇刊 1 工程中的数学问题 1 运筹学的数学方法 1 国际应用数学与计算机科学杂志 1 逻辑程序设计理论与实践 1 应用数学杂志 1 SIAM应用动力系统杂志 1 计算机语言、系统和结构 1 国际量子信息杂志 1 优化信函 1 计算机科学科学年鉴 1 计算机科学本科专题 全部的 前5名在20个字段中引用 449 计算机科学(68至XX) 69 概率论与随机过程(60-XX) 59 生物学和其他自然科学(92-XX) 56 数学逻辑和基础(03-XX) 49 运筹学、数学规划(90-XX) 41 博弈论、经济学、金融和其他社会和行为科学(91-XX) 21 系统论;控制(93至XX) 10 信息与通信理论、电路(94-XX) 7 总体主题;集合(00-XX) 6 统计学(62-XX) 6 数值分析(65-XX) 5 量子理论(81-XX) 4 组合数学(05-XX) 4 常微分方程(34-XX) 1 一般代数系统(08-XX) 1 数论(11-XX) 1 范畴理论;同调代数(18-XX) 1 近似值和展开值(41至XX) 1 积分方程(45-XX) 1 可变形固体力学(74-XX) 按年份列出的引文