×

棱镜

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
全部的 前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 计算机科学本科专题

按年份列出的引文