es">Features</a>
  <a href="#parameters">Parameters</a>
</pre>

<P>
This model editor page allows you to add less-often
used parts of a model.&nbsp;  It's a good idea to browse
this page just to see what options it provides, since
some of the features are not ones you would expect.
 </P>
<h2><a name="config">Configuration</a>

<h3>Number of worker threads</h3>

TLC's algorithm for computing the set (actually the graph) of reachable states
is highly parallelizable, and it can make good use of arbitrarily man