x the state graph will be visualized with either the built-in or standalone PDF viewer
depending on which is selected on the PDF viewer preference page
(selecting a standalone viewer is advised for best results).
</p>



<h2><a name="parameters">Parameters</a></h2>
<h3>Verify temporal properties upon termination only</h3>
<p>
Defer the verification of temporal properties (liveness) to the end of model checking.
<b>This reduces the overall model checking time</b> with the additional side effect that invarian