Working with the Solution
To launch the Exploration Manager (shown below) choose Exploration Manager in Visual Studio’s Spec Explorer menu.
.gif "Exploration Manager Pane 1")
The Exploration Manager is used for most of the functions of Spec Explorer. The list in the Exploration Manager panel shows all available machines for this project. A machine is the unit of exploration. It describes permitted sequences of actions as defined by a behavioral expression and the Cord configurations it is based on. Selecting a machine in this panel allows operations like validation, exploration, and test generation. Double-clicking on a machine in this list opens the Cord file containing the machine definition.