CheckMate

CheckMate

CheckMate is a MATLAB(r)-based tool for modeling, simulating, and verifying properties of hybrid dynamic systems. These are dynamic systems with both discrete and continuous state variables. Hybrid systems often arise in computer-controlled systems where the discrete dynamics corresponds to logic for switching control modes and the continuous dynamics corresponds to the physical system being controlled.

VO Integration: No

Active: Yes

Available Benchmarks: N/A

Website: https://users.ece.cmu.edu/~krogh/checkmate

Download: Instructions can be found here.

Documentation: The software comes with a set of demos. Each one has accompanying documentation.

Contact: Here is a list of people associated with the tool.

Excerpt from: https://users.ece.cmu.edu/~krogh/checkmate/