All Packages
-
Package Summary 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