MRMC Markov Reward Model Checker definition file
File type: Various data file
A .rewi file is an MRMC Markov Reward Model Checker definition file containing impulse-reward definitions.
It is used by MRMC as input for reward analysis of Markov models.
File type category:
Various data file
Date updated: September 28, 2026
MRMC, or Markov Reward Model Checker, uses .rewi files to describe impulse rewards associated with transitions or other model events. These definitions support reward-based analysis in MRMC.
The file belongs to the MRMC input-file set and is used together with the other files that define a model. MRMC is available for Microsoft Windows. The format is specific to MRMC rather than a general-purpose exchange format.
Open the .rewi file with MRMC on Microsoft Windows. Use it as the impulse-reward input for the corresponding Markov model when running a reward analysis.
Because the file is a definition file, a text editor may display its contents, but MRMC is required to interpret the definitions as part of a model.
The .rewi file is an MRMC-specific input definition file rather than a general-purpose exchange format. To use the definitions in another tool, recreate them in that tool's reward-model format.
Software applications that can open rewi files:
Microsoft Windows
Language
