CheckMate demos

Version 1.0.0.0 (75.4 KB) by Zhi Han
Demos for checkmate hybrid system verification tool.
0.0
(0)
993 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 (2024). 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

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

V2V/

boing/

etc5d/

etc_reg/

ph_plant/

V2V/

boing/

etc5d/

etc_reg/

ph_plant/

Version Published Release Notes
1.0.0.0

Remove auto-generated files.