Package de.gebit.integrity.runner.modelcheck
-
Interface Summary Interface Description ModelChecker The model checker is used to validate a test model prior to execution, with the goal being to capture commonly occurring problems before they "crash" the system, thereby usually providing only basic information about the problem. -
Class Summary Class Description DefaultModelChecker Default implementation of aModelChecker
.NullModelChecker ThisModelChecker
implementation does not perform any checks.