Found 5 file extension associations related to MRMC and 5 file formats developed specifically for use with MRMC.
Platform, operating system: Microsoft Windows
Go to: MRMC description
Developer: RWTH Aachen University
Developer / company: RWTH Aachen University
MRMC (A Markov Reward Model Checker) is a command-line tool, written in C available for Windows, Linux and Mac OS X.
MRMC is a model checker for:
- Discrete time Markov chains (DTMCs),
- Continuous time Markov chains (CTMCs),
- Discrete time Markov Reward models (DMRMs),
- Continuous time Markov Reward models (CMRMs),
- Continuous time Markov decision processes (CTMDPIs).
The tool supports verification of:
- Probabilistic Computation Tree Logic (PCTL),
- Continuous Stochastic Logic (CSL),
- Probabilistic Reward Computation Tree Logic (PRCTL),
- Continuous Stochastic Reward Logic (CSRL).
MRMC allows for:
- Numerical model checking on all types of input models,
- Model checking by Discrete Event Simulation on CTMCs,
- Formula-dependent and formula-independent bisimulation.
MRMC works with the following file extensions:
Note: You can click on any file extension link from the list below, to view its detailed information. The list of extensions used or otherwise associated with the application may not be complete, because many common file extensions on our website, such as jpg (pictures) or txt (text files), can be opened by a large number of applications, or are too general file format. However most, if not all directly associated file extensions should be listed with its appropriate program. Although its likely, that some file extensions may be missing from the list of associated file extensions with the application, yet they can be opened, be part of, or otherwise be associated with the program.
MRMC default file extension associations
Comparison table of actions that MRMC can perform with each of its associated file type beta
This table might not contain all possible associated or supported file types or may contain incorrect data.
If you need more information please contact the developers of MRMC (RWTH Aachen University), or check out their product website.