Module net.automatalib.modelchecker.ltsmin

This module contains 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.

Note that this implementation requires a local installation of the LTSmin binaries which are not explicitly included in this module due to packaging reasons.

This module is provided by the following Maven dependency:

 <dependency>
   <groupId>net.automatalib</groupId>
   <artifactId>automata-modelchecking-ltsmin</artifactId>
   <version>${version}</version>
 </dependency>
 

Packages

Package	Exported To Modules	Opened To Modules	Description
net.automatalib.modelchecker.ltsmin	All Modules	All Modules
net.automatalib.modelchecker.ltsmin.ltl	All Modules	All Modules
net.automatalib.modelchecker.ltsmin.monitor	All Modules	All Modules