Share Email Facebook Twitter LinkedIn Model Checker ConfiguratorThe Model Checker Configurator is a stand alone Windows application that allows you to create and edit your own configuration files to use with the Model Checker. Pages in this section Model Checking Capabilities General Advanced Check Builder Wizard Check Builder Pre-built Checks Check Structure and Organization Release Notes
