GRIP: Generic Representatives in PRISM

Authors:
Alastair F. Donaldson;Alice Miller;David Parker
Affiliations:
Codeplay Software Ltd., UK;University of Glasgow, UK;Oxford University, UK
Venue:
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Year:
2007

Citing 0
Cited 2

Using probabilistic model checking in systems biology

ACM SIGMETRICS Performance Evaluation Review
Probabilistic model checking of biological systems with uncertain kinetic rates

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

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.