This is version 1 of the viewers toolset.

----------------------------------------------------------------------------------

The viewers toolset accompanies various tools developed by the Formal
Methods for System and Software Design (https:://fm.fbk.eu) unit at
Fondazione Bruno Kessler (https://fbk.eu).

The toolset provides the following main capabilities:

+ Viewing of traces
+ Viewing of Fault Trees
+ Viewing of Timed Failure Propagation Graphs (TFPGs)

You can find more details about Fault Trees and TFPGs in the
documentation accompanying the xSAP tool.

The viewers toolset is Copyright by Fondazione Bruno Kessler; it can
be used only for non-commercial or academic purposes. See LICENSE.txt
for complete licensing information.

For installation instructions and installation prerequisites, see the
user manuals, located in the doc/user/ folder of the viewers distribution.
