A lab file extension is related to the MRMC and used for its label files.

There are 3 other file types using
the LAB file extension!

empty icon.lab - LucasArts game resource data

lab icon.lab - Corel WordPerfect label definition file

empty icon.lab - Bibexcel data

Detailed description

Software that open lab file

Add comment

Bookmark & share this page with others:

LAB file extension - MRMC Markov Reward Model Checker label

What is lab file? How to open lab files?

File type specification:

Various data file type icon Various data file type

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:

MRMC  Microsoft Windows software

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.

Help how to open:

Probably not meant to be accessed by the user.

How to convert:

Probably cannot be converted to anything else.

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.).

Microsoft Windows:

Previous file extension
LA1 file extension

File-Extensions.org > Various data file types

Next file extension
file extension LAB


Enter any file extension without dot (e.g. pdf)
Search for file extension details and associated application(s)

RSS feed