.LAB file extension - MRMC Markov Reward Model Checker label
What is lab file? How to open lab files?
File type specification:
The lab file extension is associated with the MRMC (Markov Reward Model Checker).
The .lab file contains the labeling of states with atomic propositions.
No further information could be found.
The default software associated to open lab file:
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, iOS, Android 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).
Unspecified and all other actions for computer programs working with lab file - MRMC Markov Reward Model Checker label
Click on the software link for more information about MRMC. MRMC uses lab file type for its internal purposes and/or also by different way than common edit or open file actions (eg. to install/execute/support an application itself, to store application or user data, configure program etc.).
