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, macOS, Linux 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