About LearnLib :: Utilities :: Abstract Counterexamples

An abstract counterexample analysis framework