TRA file extension - MRMC Markov Reward Model Checker matrix file
What is tra file? How to open tra files?
File type specification:
The TRA file extension is associated with the MRMC (Markov Reward Model Checker). The .tra file contains the rate (probability) matrix.
The default software associated to tra 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 .tra 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 tra file, edit tra file, convert tra file, view tra file, play tra file etc. (if exist software for corresponding action in File-Extensions.org's database).
- Open tra file