a

automata-modelchecking-ltsmin

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://dx.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.
checking note explicitly reasons sound jeroen checker 00342 local artifact that jaco paper learnlib provides installation model https included described which ltsmin meijer s11334 implementation this black packaging 1007 utwente integration binaries requires
Aggregated version Version Update time
0.11 0.11.0 Nov 06, 2023
0.10 0.10.0 Oct 12, 2020
0.9 0.9.0 Feb 05, 2020
0.8 0.8.0 Feb 18, 2019
4 Records