CheckMate demos

Demos for checkmate hybrid system verification tool.

You are now following this Submission

This zip file contains several demos for CheckMate tool.

The function testcheckmate.m runs all demos in this zip file, except for the V2V verification, which takes a few hours to complete.

[Quick Start]
Each CheckMate model normally consists of a setup file, which creates variables in the base workspace, and a Simulink diagram for the CheckMate model. To run the demo, first run the setup file and then open the Simulink diagram. For verification purposes, use 'verify'; for exploration, use 'explore'.

Cite As

Zhi Han (2026). CheckMate demos (https://www.mathworks.com/matlabcentral/fileexchange/17004-checkmate-demos), MATLAB Central File Exchange. Retrieved .

Categories

Find more on Testing Frameworks in Help Center and MATLAB Answers

General Information

MATLAB Release Compatibility

  • Compatible with any release

Platform Compatibility

  • Windows
  • macOS
  • Linux
Version Published Release Notes Action
1.0.0.0

Remove auto-generated files.