An exception to be thrown when functionality revolving around
An Exception that may occur during model checking.
This specialized exception can be thrown if during the traversal of an automaton or transition system an undefined property (e.g. a state or a transition output) is accessed, that is otherwise required for returning a valid result.
Copyright © 2020. All rights reserved.