CTMDPI file extension - MRMC Markov Reward Model Checker matrix file
What is ctmdpi file? How to open ctmdpi files?
File type specification:
The CTMDPI file extension is associated with the MRMC (Markov Reward Model Checker). The .ctmdpi file contains the rate matrix and additionally the transition labeling to distinguish between different non-deterministic choices.
The default software associated to ctmdpi file type:
Company or developer:
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.
List of recommended software applications associated to the .ctmdpi file extension
Recommended software programs are sorted by OS platform (Windows, Mac OS X etc.) and possible program actions
that can be done with the file: like open ctmdpi file, edit ctmdpi file, convert ctmdpi file, view ctmdpi file, play ctmdpi file etc. (if exist software for corresponding action in File-Extensions.org's database).
- Open ctmdpi file