The 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.
For more information, visit the Model Checker Configurator help topic in the Interoperability Help.