A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
Abstraction and Model Checking in the PEPA Plug-In for Eclipse
2010
2010 Seventh International Conference on the Quantitative Evaluation of Systems
The stochastic process algebra PEPA is widely used for performance modelling, and a large part of its success is due to its rich tool support. As a compositional Markovian formalism, however, it suffers from the state space explosion problem, where even small models can lead to very large Markov chains. One way of analysing such models is to use abstraction -constructing a smaller model that bounds the properties of the original. We present an extension to the PEPA plug-in for Eclipse that
doi:10.1109/qest.2010.27
dblp:conf/qest/Smith10
fatcat:4rgzzpn2nfgh7k75lqqigsnyrm