AutomataLib :: Model Checking :: M3C 0.11.0 API
| Package | Description |
|---|---|
| net.automatalib.modelchecker.m3c |
This package (and sub-packages) provides the implementation of the model checker presented in the paper M3C: Modal Meta Model Checking by Bernhard Steffen and
Alnis Murtovi.
|
| net.automatalib.modelchecker.m3c.formula | |
| net.automatalib.modelchecker.m3c.formula.ctl | |
| net.automatalib.modelchecker.m3c.formula.modalmu | |
| net.automatalib.modelchecker.m3c.formula.parser | |
| net.automatalib.modelchecker.m3c.formula.visitor | |
| net.automatalib.modelchecker.m3c.solver | |
| net.automatalib.modelchecker.m3c.transformer | |
| net.automatalib.modelchecker.m3c.visualization |