edicated profiler documentation</a> for more information.
</p>
<p>
<b>Warning</b>: Profiling negatively impacts model checking performance and should thus be off when checking large models.
</p>

<h3>Visualize state graph after completion</h3>
<p>
Visualize the generated state graph graphically after completion of model checking. The
visualization helps to better understand the system being specified. Initial states are represented by gray vertices.
<p><b>Warning: </b>Can reasonably display only  state grap