Model checking
Prev
Next
Model checking
Table of Contents
MCparseModalFormula
—
C
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.