# 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 a `ModelChecker`.
  NullModelChecker | This `ModelChecker` implementation does not perform any checks.