Table of Contents
- binary —
Transforms each variable of enumerated sort to a
sequence of boolean variables
- confcheck —
Displays information on confluent taus
- constelm —
Elimination of constant process parameters
- decluster — Makes sum variables superfluous by splitting summands
- invcheck —
Checks whether a formula is an invariant of an LPE
- invelm —
Eliminates summands with guards contradicting an invariant
- msim — Interactive simulation of a system described by an LPE
- parelm —
Elimination of inert process parameters and not occurring sum variables
- pp — Print linear mcrl specifications written in
.tbf
format - reachelm —
Eliminates summands by proving that they are not reachable
- rewr —
Rewrites an Linear Process Equation
- sumelm —
Elimination of sum variables
- stategraph —
Applies control flow analysis
- structelm — Structure elimination
- tbfinfo — Prints info about
.tbf
file
- tbfupdate — Renaming of actions directed by conditional renaming rules