Introduction to Hybrid System Verification with CheckMate

Course Description

Literature:

• [1] CheckMate User's Guide


• [2] CheckMate Verification: Theory and Implementation

Files:

CheckMate 3.6
Use with Matlab 6.5. Unzip and include all directories in matlab path. Type 'cmhelp' to get started.

Template files for exercise

Boing example

• Time: Wednesday 19/10 2005, 8:15-16:15
• Place: Fredrik Bajers Vej 7C - C3-204
• Lecture Notes: pdf
• Literature:
  • [1]
  • [2]