## COMPASS Tool Tutorials

We have a number of tools available to help get started with the different features of the COMPASS tool. More polished versions will be produced later in the project: the aim here is to give a good impression of what can be done now.

We welcome feedback on the videos, please use the contact details on the Home page to do so.

The current version of the COMPASS Tool can be found on Sourceforge.

Clicking on each title will expand to show the video inline. You may need to run the video full-screen to see the full detail.

### Core COMPASS Tutorials

+ Getting Started: How to start Symphony and import public projects
- Getting Started: How to start Symphony and import public projects

+ How to select an element from a set of values in the debugger
- How to select an element from a set of values in the debugger

+ Using the Symphony theorem prover to discharge CML proof obligations
- Using the Symphony theorem prover to discharge CML proof obligations

### Model Checking Tutorials

### RT Tester Tutorials

+ Getting started with the integrated RT Tester functionality
- Getting started with the integrated RT Tester functionality