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