DOWNLOADING, INSTALLING, & GETTING STARTED

CHECKMATE

CM2MDL

  1. If you have installed a previous version of CheckMate, copy any CheckMate models you have created and saved in the previous CheckMate directory path into another directory. Then delete the previous CheckMate root directory and all subdirectories, and delete CheckMate paths from the MATLAB path list by choosing "Set Path" from the File menu in the MATLAB command window, selecting all CheckMate paths, and clicking "Remove."

  2. Download the zip file from here. Also, download the documentation and CheckMate demos.
  3. .
  4. Choose a directory as the root directory for CheckMate and unzip the downloaded file into that directory.
    NOTE: You should create (or let your unzip program create) the root directory for CheckMate.
  5. Go to the CheckMate root directory in the MATLAB command window.
  6. Install CheckMate into the MATLAB path list by typing at the MATLAB command prompt:
    >>install
  7. Choose "Set Path" from the File menu in the MATLAB command window, and click "Save."
  • CheckMate Simulink blocks are available in the Simulink library (type simulink).
  • CheckMate documentation is displayed by typing cmhelp.
  • See readme.txt in the CheckMate root directory for information about the current version of CheckMate.
CM2MDL is an interface that converts a textual description of the model (the .cm file) to a CheckMate model (a .mdl file). A description of this interface can be found in cm2mdl.ps, and the interface itself in cm2mdl.zip.
Discrete-time CheckMate is a version of CheckMate that is used to verify systems that are purely discrete-time. Download Discrete-time CheckMate here.
RETURN TO CHECKMATE HOME PAGE