net.automatalib:automata-modelchecking-ltsmin (maven): LTSmin Model Checker
Keywords: automata|graph|java|java-library|transition-systems