Introduction

MRMSolve aims to provide a unified interface for Markov reward model analysis. It constists of a graphical interface written in java, and a set of binaries that run the computational algorithms. In MRMSolve you can create and edit modes in two different manners. Than, you can easily define and run computation series, to investigate the effect of different model parameters. A diagram editor is available to visualize the results, and perform graphical comparison between models.

The chapters of the help are: