I
- the input typeA
- the automaton typeP
- the property typeR
- the type of a counterexamplepublic interface ModelChecker<I,A,P,R>
Modifier and Type | Interface and Description |
---|---|
static interface |
ModelChecker.DFAModelChecker<I,P,R> |
static interface |
ModelChecker.MealyModelChecker<I,O,P,R>
A model checker for Mealy machines.
|
Modifier and Type | Method and Description |
---|---|
R |
findCounterExample(A automaton,
Collection<? extends I> inputs,
P property)
Try to find counter examples for the given
property and automaton . |
R findCounterExample(A automaton, Collection<? extends I> inputs, P property)
property
and automaton
.automaton
- the automaton to check the property on.inputs
- the alphabet.property
- the property.null
if no counter examples exist.ModelCheckingException
- when this model checker can not check the property.Copyright © 2020. All rights reserved.