mCRL2 library documentation

Atermpp (ATerm++) Introduction to the atermpp library What is an aterm? Programming with aterms Reference PDF documentation mCRL2 Term Library	BES Reference Classes Files PDF documentation Some notes on a BES library
Core Introduction Concepts Structure Tutorial Common functionality Reference	Data Introduction Data specifications Expressions Sort aliases and sort normalisation Data rewriters Data enumerator Reference PDF documentation substitutions An algorithm to find a representant for sorts in the context of sort aliases and recursive sorts Data types for mCRL2 Enumerator Rewriter Implementation Notes Some basic notions concerning the mCRL2 data library
GUI The GUI library The qt_tool class Reference Classes Files	LPS Linear process specifications Classes in the LPS library Reference PDF documentation Next-state computation templates in state space exploration lpsparelm lps-implementation-communication-operator State Space Exploration A rewriting-strategies-based tool for transforming process-algebraic equations lpsconstelm mcrl2lps lps-implementation-notes
LTS Introduction Structure Creating and accessing an LTS The standard labelled transition systems Reducing and comparing labelled transition systems Some utility functions Traces Reference PDF documentation Notes on the bisimulation partitioner Implementation of LTSGraph3D	Modal formula Modal formulas Reference Classes Files
PBES Parameterised Boolean Equation Systems Algorithms Reference PDF documentation kant-pbes-greybox-notes PBES Instantiation and Solving PBES rewriters PBES Generation PBES Implementation Notes PBES Abstraction Symbolic Reachability using LDDs	Process Introduction Process expressions Algorithms on processes Search and Replace functions Reference Classes Files PDF documentation On free variables in process specifications, LPSs and PBESs Process Library Implementation Notes
SMT SMT Interface library Reference Classes Files	Utilities Introduction Structure CLI Library Tool classes Logging Library Reference