AutomataLib :: Model Checking :: LTSmin 0.11.0 API
Package | Description |
---|---|
net.automatalib.modelchecker.ltsmin |
This package (and sub-packages) provides the integration of the model checker LTSmin as described in the paper Sound Black-Box Checking in the LearnLib by Jeroen Meijer
and Jaco van de Pol.
|
net.automatalib.modelchecker.ltsmin.ltl | |
net.automatalib.modelchecker.ltsmin.monitor |