Home > Apps > Microsoft Windows
File extension list filtered by software name

MRMC

Found 5 file extension associations related to MRMC and 5 file formats developed specifically for use with MRMC.

Platform, operating system:  Microsoft Windows icon Microsoft Windows

Go to: MRMC description

Developer: RWTH Aachen University

Bookmark & share this page with others:

MRMC

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

ctmdpi file icon.ctmdpilab file icon.labrew file icon.rewrewi file icon.rewitra file icon.tra

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.

File type \ Action

Open

Save

Edit

View

Play

Convert

Create

Record

Import

Export

Burn

Extract

Recover

Backup

Print

Settings

Other

ctmdpi

Yes----------------

lab

Yes----------------

rew

Yes----------------

rewi

Yes----------------

tra

Yes----------------

Follow us!

Enter any file extension without dot (e.g. pdf)
Search for file extension details and associated application(s)

RSS feed