Changes between Version 25 and Version 26 of WikiStart
- Timestamp:
- Jun 19, 2008, 9:32:32 AM (11 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
WikiStart
v25 v26 1 1 [[TracNav]] 2 2 3 = W elcome to the MRMC home page=3 = What is MRMC? = 4 4 5 '''MRMC is a command-linemodel checker for:'''5 '''MRMC is a model checker for:''' 6 6 * Discrete time Markov chains (DTMCs), 7 7 * Continuous time Markov chains (CTMCs), … … 10 10 * Continuous time Markov decision processes (CTMDPIs). 11 11 12 '''The tool is written in C andsupports verification of:'''12 '''The tool supports verification of:''' 13 13 * Probabilistic Computation Tree Logic (PCTL), 14 14 * Continuous Stochastic Logic (CSL), … … 16 16 * Continuous Stochastic Reward Logic (CSRL). 17 17 18 MRMC allows for numerical model checking on all types of 19 input models. In addition, verification of CSL properties 20 on CTMCs can be done using model checking by Discrete Event 21 Simulation. 18 '''MRMC allows for:'' 19 20 * Numerical model checking on all types of input models, 21 * Model checking by Discrete Event Simulation on CTMCs, 22 * Formula-dependent and formula-independent bisimulation. 22 23 23 24 [[Image(mrmc_cmd.jpg, border=1, align=right, 30%)]] 24 25 25 '''MRMC is available for the following platforms:''' 26 26 MRMC is a command-line tool, written in C. It is available for: 27 27 * Windows, 28 28 * Linux, 29 * Mac OS X. 29 * and Mac OS X 30 platforms. The tool is distributed under the [http://www.gnu.org/licenses/gpl.html GPL License]. 30 31 31 The tool is distributed under the [http://www.gnu.org/licenses/gpl.html GPL License].An example of the tool usage can be found on the right. If you are looking32 An example of the tool usage can be found on the right. If you are looking 32 33 for detailed information about MRMC, consider reading the [wiki:Specifications MRMC Manual]. 33 34