Model checking


Table of Contents

MCparseModalFormulaC function that parses a modal mu-calculus formula and saves it to an ATerm.
mucalculus — syntax and semantics for the first-order modal mu-calculus extended with data-depended processes and regular formulas.