File formats

This page lists all file formats supported by the mCRL2 toolset.

File format

Extension

Type

Description

mCRL2

.mcrl2

textual

mCRL2 specification

MCF

.mcf

textual

µ-Calculus

LPS

.lps

binary

Linear Process Specifications

PBES

.pbes

binary

Parameterised Boolean Equation Systems

BES

.bes

binary

Boolean Equation Systems

CWI

.cwi

textual

boolean equation system in the CWI format

GM

.gm

textual

parity game in the PGSolver format

LTS

.lts

binary

labelled transition system in the mCRL2 LTS format

SVC

.svc

binary

labelled transition system in the SVC file format

AUT

.aut

textual

labelled transition system in the Aldebaran format

FSM

.fsm

textual

labelled transition system in the FSM file format

trace

.trc

binary

trace for simulation

DOT

.dot

textual

DOT file format (subgraphs as nodes are not supported)

μCRL

.mcrl

textual

μCRL specification