×

棱镜

swMATH ID: 1186
软件作者: 奎亚特科夫斯卡,玛尔塔;格钦·诺曼;大卫·帕克
描述: 概率符号模型检查器。在本文中,我们描述了PRISM,这是伯明翰大学正在开发的一种用于分析概率系统的工具。PRISM支持三种概率模型:离散时间马尔可夫链、马尔可夫决策过程和连续时间马尔可夫链。根据概率时序逻辑PCTL和CSL中编写的规范,通过模型检查此类系统来进行分析。该工具具有三个模型检查引擎:一个是符号引擎,使用BDD(二进制决策图)和MTBDD(多终端BDD);一种是基于稀疏矩阵;以及一种结合了符号矩阵和稀疏矩阵方法的方法。PRISM已成功用于分析一系列系统的概率终止、性能和服务质量属性,包括随机分布式算法、制造系统和工作站集群。
主页: http://www.prismmodelchecker.org/
相关软件: MRMC公司;风暴;Uppaal公司;自旋蛋白;生物-PEPA;政治公众人物协议;PRISM-游戏;z3(零3);CEGAR公司;CADP公司;NuSMV公司;MCMAS公司;PROPhESY公司;参数;APMC公司;伊米尔;克洛诺斯;LiQuor公司;生物CHAM;高超声速
引用于: 498文件
更多出版物: http://www.prismmodelchecker.org/publications.php
全部的 前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 Klüppelholz,萨沙
4 萨瓦斯·科努尔
4 克里斯蒂安·克劳斯
4 马修·拉金。
4 弗朗西丝卡·列维
4 安德烈亚·马焦洛·谢蒂尼
4 爱丽丝·安·米勒
4 Andrzej S.穆拉夫斯基。
4 奥托普,简
4 乔尔·欧·瓦克宁。
4 庞、军
4 乔瓦尼·帕迪尼
4 安德鲁·菲利普斯
4 所罗门·西克特
4 西马提斯,艾斯蒂斯
4 索菲涅·塔哈尔
4 米尔科·特里巴斯通
4 阿舒托什特里维迪
4 范德波尔,扬·科内利斯
4 安德烈·范丁
4 马赫什·维斯瓦纳坦
4 比约恩·瓦希特
4 迈克尔·J·伍尔德里奇。
3 伯恩哈德·艾切尼格(Bernhard K.Aichernig)。
3 娜塔莎·亚历奇纳
3 奥纳·安德烈
3 巴伯,贝诺
3 纳塔莉·伯特兰
3 Bradley,Jeremy T。
3 科什卡,米兰
3 马丁·奇梅利克
3 克拉克(Edmund Melson jun Clarke)。
3 普热米斯瓦夫达卡
3 克莱门斯·杜伯斯拉夫
3 乌里·法伦贝格
3 莫雷诺,法拉斯基
3 劳伦·弗里堡
3 玛丽安·盖奥吉
3 斯蒂芬·吉尔摩(Stephen T.Gilmore)。
3 朱利安·古铁雷斯
3 韩婷婷
3 Boudewijn R.哈维尔科特。
3 托马斯·Hérault
3 戴安娜埃尔米思
3 约翰·Hölzl
3 芭芭拉·乔布斯曼
3 Mark Kattenbelt公司
…还有722位作者
全部的 前5名

引用于56个系列

51 理论计算机科学
29 计算的形式方面
23 系统设计中的形式化方法
20 信息与计算
19 计算机科学中的逻辑方法
8 人工智能
8 计算机基础理论
7 计算机与系统科学杂志
7 逻辑与代数程序设计杂志
5 计算机科学课堂讲稿
4 信息学报
4 Automatica公司
4 自动推理杂志
4 自然计算
4 理论生物学杂志
3 MSCS公司。计算机科学中的数学结构
3 ACM计算逻辑事务
3 程序设计中的逻辑和代数方法杂志
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 计算机科学本科专题

按年份列出的引文