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
Model Checking Tutorials
RT Tester Tutorials