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. The program provides dozens of free samples that you can use in order to build the checks you need. Also, a wizard interface can build your checks for you by answering a few simple questions.
Comments