GRIP: Generic Representatives in PRISM

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) Pub Date : 1900-01-01 DOI:10.1109/QEST.2007.30

L. Brenner, Paulo Fernandes, B. Plateau, Ihab Sbeity

引用次数: 48

Abstract

We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications.

查看原文本刊更多论文

GRIP: PRISM中的通用代表

我们概述了GRIP，一个概率模型检查器PRISM的对称约简工具，以及选择示例规范的实验结果。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)

自引率

0.00%

发文量