IBM
Contents Index Previous Next



5 Tutorial: The SDL Explorer

The SDL Explorer is the tool that you use for validating the behavior of your SDL systems, using state space exploration techniques. In this chapter, you will practice "hands-on" on the DemonGame system.

To be properly assimilated, this tutorial therefore assumes that you have gone through the exercises that are available in Tutorial: The Editors and the Analyzer as well as Tutorial: The SDL Simulator.

In order to learn how to use the Explorer, read through this entire chapter. As you read, you should perform the exercises on your computer system as they are described.


http://www.ibm.com/rational
Contents Index Previous Next