Machines
In Spec Explorer, machines are defined in Cord scripts to assign a name to a behavior. They are also the unit of exploration. Each machine is based on one or more configurations. A given machine’s behavior is defined by combining action invocations and Cord constructs using operators. An example of a behavior can be obtained by building a model program from C# code using the model program construct.