CheckMate demos

Version 1.0.0.0 (75.4 KB) by Zhi Han
Demos for checkmate hybrid system verification tool.
0.0
(0)
997 Downloads
Updated 22 Oct 2007

View License

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 .

MATLAB Release Compatibility
Created with R14
Compatible with any release
Platform Compatibility
Windows macOS Linux
Categories
Find more on Testing Frameworks in Help Center and MATLAB Answers
Tags Add Tags
Open in new tab
Version Published Release Notes
1.0.0.0

Remove auto-generated files.