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
GM	.gm	textual	parity game in the PGSolver format
LTS	.lts	binary	labelled transition system in the mCRL2 LTS 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