Interface ModelChecker<I,​A,​P,​R>

    • Method Detail

      • findCounterExample

        @Nullable R findCounterExample​(A automaton,
                                       Collection<? extends I> inputs,
                                       P property)
        Try to find counter examples for the given property and automaton.
        Parameters:
        automaton - the automaton to check the property on.
        inputs - the alphabet.
        property - the property.
        Returns:
        the counter examples, or null if no counter examples exist.
        Throws:
        ModelCheckingException - when this model checker can not check the property.