Verify
Verify thoroughly validates your system model for logical consistency, appropriateness for code generation, stream connectedness, and provides other useful recommendations.
Verify
Verify is a technology we offer to help you create beautiful, logical, complete models. This tool increases your confidence in your model in preparation for code generation. Indeed, the Codify tool requires that your model is error-free when Verify is run against it.
Verify will ensure that your model is:
consistent and complete,
is free of logical inconsistencies,
has no unresolvable references
has origination and termination of all streams
is ready for execution by Codify or Mimify
Verify can also notify you about the following:
various style violations
things you've defined but not described (missing documentation)
things that are defined but not used (missing definitions)
recommendations for improvement (warnings)