Affordable Access

GRIP: generic representatives in PRISM

Authors
Publisher
IEEE Computer Society
Publication Date

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.

There are no comments yet on this publication. Be the first to share your thoughts.

Statistics

Seen <100 times
0 Comments

More articles like this

[Gripe].

on La Semana médica Sep 20, 1957

Prism2Promela

Jan 01, 2008

PRISM

2000
More articles like this..