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 |