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