Linear Process Equations


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 .tbfformat
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