Artifacts using AutomataLib :: Serialization :: FSM (2)
An artifact that aggregates all other artifacts of AutomataLib to produce an Uber-JAR that can be used in
non-maven environments. Likewise, this single artifact may be used in maven-aware environments to declare a
dependency on all AutomataLib artifacts.
Last Release on Mar 11, 2025
This artifact provides the integration of the model checker "LTSmin" (https://ltsmin.utwente.nl/) as described
in the paper "Sound Black-Box Checking in the LearnLib" (https://doi.org/10.1007/s11334-019-00342-6) by Jeroen
Meijer and Jaco van de Pol.
Note that this implementation requires a local installation of the LTSmin binaries (see
https://ltsmin.utwente.nl/) which are not explicitly included in this artifact due to packaging reasons.
Last Release on Mar 11, 2025
- Prev
- 1
- Next