<html>
<body>

<h1>Simulator</h1>
<p>
The simulator is a validation tool which enables
examination of possible dynamic executions of a system
during early design (or modeling) stages and thus
provides an inexpensive mean of fault detection prior to
verification by the model-checker. The simulator is also
used to visualise executions (i.e. traces) generated by the
verifier.

</body>
</html>
